Skip to content
Automated prover and synthesizer for modes of operation
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.


To use, install the following OCaml packages:

core, cryptokit, dolog, ocamlfind (for compilation), ocamlgraph

Then run:

(optional) oasis setup

ocaml -configure

ocaml -build

To reproduce the results from the paper, run the following:

./mosynth.native -all -block-size 10 -valid-count

./mosynth.native -all -block-size 10 -decryptable-count

./mosynth.native -all -block-size 10

Please e-mail "amaloz at cs dot umd dot edu" if you encounter any issues.

You can’t perform that action at this time.