Authenticated encryption scheme prover/synthesizer.
To use, install the following OCaml packages:
oasis, core_unix, cryptokit, dolog, ocamlfind (for compilation), ocamlgraph
Then run:
oasis setup
ocaml setup.ml -configure
ocaml setup.ml -build
Please e-mail "amaloz at cs dot umd dot edu" if you encounter any issues.