Here, there are a series of labs on transposition ciphers. They are meant to be visited in the following order:
- CommonProperties: an offshoot of
CryptoProofstreating higher-order functions and properties. - Transposition: a library defining common concepts for transposition ciphers; most notably permutation mappings and supporting functions and properties.
- Esrever: a trivial reverse "cipher" demonstrating how to specify permutation mappings for the encrypt and decrypt functions from Transposition:
- Scytale: an adaptation of the Scytale cipher described in Programming Cryptol.
- RailFence: a specification of the Rail Fence cipher, which is easy on paper but hard in Cryptol.
- Route: an unguided suggestion for sufficiently motivated course participants to define the Route cipher using concepts learned in prior labs.
How was your experience with this lab? Suggestions are welcome in the form of a ticket on the course GitHub page: https://github.com/weaversa/cryptol-course/issues
| - Cryptographic Properties | ||
| Transposition Ciphers | ||
| v Common Properties for Ciphers |