Automated security proof for symmetric encryption modes

DOI10.1007/978-3-642-10622-4_4MaRDI QIDQ3656840zbMATH OpenOpenAlexFDO

Authors Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini

Publication date 14 January 2010

Published in Advances in Computer Science - ASIAN 2009. Information Security and Privacy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-10622-4_4

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Recommendations

• Automated proofs of block cipher modes of operation
• Automated verification of block cipher modes of operation, an improved method
• Automated proofs for asymmetric encryption
• Functional Correctness Proofs of Encryption Algorithms
• Automated proofs for asymmetric encryption

Cited in

(8)

• Linicrypt: a model for practical cryptography
• Automated proofs of block cipher modes of operation
• Automated verification of block cipher modes of operation, an improved method
• Automating Computational Proofs for Public-Key-Based Key Exchange
• Automated proofs for asymmetric encryption
• Functional Correctness Proofs of Encryption Algorithms
• Automated proofs for asymmetric encryption
• Ciphertext verification security of symmetric encryption schemes

This page was built for publication: Automated security proof for symmetric encryption modes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3656840)