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.
To build, you'll need either opam or dune installed.
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.
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 --
Beerware
Please e-mail "amaloz at galois dot com" if you encounter any issues.