Bug#991436: ITP: easycrypt -- EasyCrypt: Computer-Aided Cryptographic Proofs
Package: wnpp
Severity: wishlist
Owner: Marcel Fourné <debian@marcelfourne.de>
X-Debbugs-Cc: debian-devel@lists.debian.org
* Package name : easycrypt
Version : 1.0
Upstream Author : Easycrypt-club mailing list <easycrypt-club@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.
Reply to: