2PATS-search-ocaml

Name

2PATS-ocaml

Description

The proven ocaml version of the programmatic search used in the 2pats paper (http://arxiv.org/abs/1404.0967).

It requires Parry (http://parry.lif.univ-mrs.fr), and the Cryptokit ocaml package.