There are 0 repository under easycrypt topic.
Crypto library
EasyCrypt formalization of definitions and derivations associated with zero-knowledge (sigma protocols).
EasyCrypt proof of unsatisfiability of comparison-based definition of non-malleability for commitments
Verified Multiple-Time Signature Scheme from One-Time Signatures and Timestamping
Verified Security of BLT Signature Scheme