1:56:23Summer school - EasyCrypt part 1 by François DupressoirSelected Areas in Cryptography 2021946 viewsView & Download
1:08:30François Dupressoir(U. Bristol) EasyCrypt in anger Proofs for Primitives, Constructions & ProtocolsCyber Security & Resilience Seminar Series (CySe3)235 viewsView & Download
4:22Formal Verification of Saber’s Public-Key Encryption Scheme in EasyCryptIACR400 viewsView & Download
35:12Computer aided Verification and Software Synthesis for Secure Multi Party Computation Protocols 0818IACR408 viewsView & Download