Automated verification of block cipher modes of operation, an improved method

DOI10.1007/978-3-642-27901-0_3MaRDI QIDQ2889811zbMATH OpenOpenAlexFDO

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

Publication date 8 June 2012

Published in Foundations and Practice of Security (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-27901-0_3

Mathematics Subject Classification ID

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

Recommendations

• Automated proofs of block cipher modes of operation
• Automated security proof for symmetric encryption modes
• scientific article; zbMATH DE number 1942410
• The security of ``one-block-to-many modes of operation.
• Automated proofs for asymmetric encryption

Cited in

(7)

• Automatical method for searching integrals of ARX block cipher with division property using three subsets
• Assisted identification of mode of operation in binary code with dynamic data flow slicing
• Linicrypt: a model for practical cryptography
• Automated proofs of block cipher modes of operation
• Program synthesis using dual interpretation
• Automated security proof for symmetric encryption modes
• scientific article; zbMATH DE number 1942410 (Why is no real title available?)

This page was built for publication: Automated verification of block cipher modes of operation, an improved method

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