@article{GLL+6,
title = {Automated Proofs of Block Cipher Modes of Operation },
author = {Gagne, Martin and Lafourcade, Pascal and Lakhnech, Yassine and Safavi{-}Naini, Reihaneh},
year = {2016},
journal = {J. Autom. Reasoning},
number = {1},
pages = {49--94},
volume = {56},
team = {RSD, DCS},
}