Automated Verification of Block Cipher Modes of Operation, an Improved Method

DOI10.1007/978-3-642-27901-0_3zbMath1303.68051OpenAlexW2188063272MaRDI QIDQ2889811

Pascal Lafourcade, Martin Gagné, Reihaneh Safavi-Naini, Yassine Lakhneche

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

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

Related Items (3)

Automated proofs of block cipher modes of operation ⋮ Program Synthesis Using Dual Interpretation ⋮ Linicrypt: A Model for Practical Cryptography

This page was built for publication: Automated Verification of Block Cipher Modes of Operation, an Improved Method