Easycrypt: A tutorial

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8604, Issue , 2014, Pages 146-166

  Barthe, Gilles ^a   Dupressoir, François ^a   Grégoire, Benjamin ^b   Kunz, César ^c   Schmidt, Benedikt ^a   Strub, Pierre Yves ^a  

^a IMDEA SOFTWARE INSTITUTE   (Spain)

^b INRIA   (France)

^c Cyber Physical Threat Intelligence Senior Analyst FireEye   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY; PROBABILITY; SECURITY SYSTEMS;

AUTOMATED VERIFICATION; COMPUTATIONAL MODEL; COMPUTER INFRASTRUCTURE; CRYPTOGRAPHIC SYSTEMS; MATHEMATICAL PROOF; PROVABLE SECURITY; SECURITY ANALYSIS; STRONG SECURITIES;

SIDE CHANNEL ATTACK;

EID: 84927634639     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-10082-1_6     Document Type: Article

References (5)

1. Almeida, J.B., Barbosa, M., Barthe, G., Dupressoir, F.: Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations. In: ACM Communications and Computer Security (CCS), pp. 1217-1230. ACM (2013)
2. Almeida, J.B., Barbosa, M., Barthe, G., Davy, G., Dupressoir, F., Grégoire, B., Strub, P.-Y.: Verified implementations for secure and verifiable computation. Cryptology ePrint Archive, Report 2014/456 (2014), http://eprint.iacr.org?
3. Barthe, G., Crespo, J.M., Grégoire, B., Kunz, C., Lakhnech, Y., Schmidt, B., Béguelin, S.Z.: Fully automated analysis of padding-based encryption in the computational model. In: ACM Communications and Computer Security (CCS), pp. 1247-1260. ACM (2013)
4. Barthe, G., Grégoire, B., Heraud, S., Béguelin, S.Z.: Computer-aided security proofs for the working cryptographer. In: Rogaway, P. (ed.) CRYPTO 2011. LNCS, vol. 6841, pp. 71-90. Springer, Heidelberg (2011)
5. Barthe, G., Grégoire, B., Zanella-Béguelin, S.: Formal certification of code-based cryptographic proofs. In: ACM Principles of Programming Languages (POPL), pp. 90-101. ACM (2009)