Automated Verification of Block Cipher Modes of Operation, an Improved Method
From MaRDI portal
Publication:2889811
DOI10.1007/978-3-642-27901-0_3zbMath1303.68051MaRDI 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
Related Items
Automated proofs of block cipher modes of operation, Linicrypt: A Model for Practical Cryptography, Program Synthesis Using Dual Interpretation