EasyCrypt: A Tutorial

DOI10.1007/978-3-319-10082-1_6zbMath1448.68184OpenAlexW18814837MaRDI QIDQ5253588

César Kunz, Benedikt Schmidt, Pierre-Yves Strub, Benjamin Grégoire, François Dupressoir, Gilles Barthe

Publication date: 27 May 2015

Published in: Foundations of Security Analysis and Design VII (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-10082-1_6

Mathematics Subject Classification ID

Cryptography (94A60) Computer security (68M25)

Related Items (6)

Probabilistic annotations for protocol models. Dedicated to Joshua Guttman ⋮ Computer-Aided Verification for Mechanism Design ⋮ Semantic foundations for cost analysis of pipeline-optimized programs ⋮ VPHL: a verified partial-correctness logic for probabilistic programs ⋮ Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC ⋮ EasyCrypt

Cites Work

• Computer-Aided Security Proofs for the Working Cryptographer
• Formal certification of code-based cryptographic proofs

This page was built for publication: EasyCrypt: A Tutorial