E

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.

110 Commits
3 Branches
1 Tag

README

Created on

March 10, 2021

Loading