ec-cryptobox

Project information

An EasyCrypt proof of security for NaCl's cryptobox construction (abstracting over the DH group and AE scheme), guided by the state-separating proof methodology.

A recipe book for turning SSPs into machine-checked proofs.

104 Commits
3 Branches
1 Tag

README

Created on

March 10, 2021

Copy SSH clone URLgit@gitlab.com:fdupress/ec-cryptobox.git
Copy HTTPS clone URLhttps://gitlab.com/fdupress/ec-cryptobox.git