Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini. Automated Proofs of Block Cipher Modes of Operation. Journal of Automated Reasoning, 56(1):49-94, 2016. [doi]
@article{GagneLLS16,
title = {Automated Proofs of Block Cipher Modes of Operation},
author = {Martin Gagné and Pascal Lafourcade and Yassine Lakhnech and Reihaneh Safavi-Naini},
year = {2016},
doi = {10.1007/s10817-015-9341-5},
url = {http://dx.doi.org/10.1007/s10817-015-9341-5},
researchr = {https://researchr.org/publication/GagneLLS16},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {56},
number = {1},
pages = {49-94},
}