aesynth: An authenticated encryption scheme prover/synthesizer

aesynth implements the algorithm presented in https://eprint.iacr.org/2015/624. It comes in two modes: aesynth check checks the security of a given mode, and aesynth synth synthesizes modes of specific lengths.

Installation Instructions

To build, you'll need either opam or dune installed.

Building using opam

Run the following:

opam install .

This installs aesynth to your opam install directory, and thus, assuming that directory is in your path, you can directly execute aesynth from the command line.

Building using dune

Run the following:

dune build -p aesynth

This won't install aesynth locally, and so to run aesynth you need to execute the following:

dune exec aesynth --

License

Beerware

Questions / Concerns

Please e-mail "amaloz at galois dot com" if you encounter any issues.