Package: wnpp Severity: wishlist Owner: Marcel Fourné <deb...@marcelfourne.de> X-Debbugs-Cc: debian-de...@lists.debian.org
* Package name : easycrypt Version : 1.0 Upstream Author : Easycrypt-club mailing list <easycrypt-c...@lists.gforge.inria.fr> * URL : https://www.easycrypt.info * License : CECILL-C, parts under CECILL-B Programming Lang: Ocaml Description : EasyCrypt: Computer-Aided Cryptographic Proofs EasyCrypt is a toolset for reasoning about relational properties of probabilistic computations with adversarial code. Its main application is the construction and verification of game-based cryptographic proofs. The package is relevant to implementors as well as researchers in cryptography. It can be used to check proofs extracted from Jasmin programs, but is useful in itself as a framework for cryptographic protocol proofs. I plan to maintain the packages myself, but I am also very open to team maintenance for example among the Debian Ocaml Group. Since I am not a Debian Developer, I need a sponsor.
