Skip to content
Authenticated encryption scheme prover/synthesizer
C OCaml C++ Standard ML Shell Python Makefile
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
schemes
src
.gitignore
.merlin
LICENSE
README.md
_tags
aesynth.opam
dune-project
found-modes-attack.txt
found-modes.txt
run-attack.sh
run.sh

README.md

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.

You can’t perform that action at this time.