@inproceedings{GLL+09b,
title = {Automated Proofs for Encryption Modes },
author = {Gagne, Martin and Lafourcade, Pascal and Lakhnech, Yassine and Safavi, Reihaneh},
month = {jul},
year = {2009},
booktitle = {Workshop on Formal and Computational Cryptography, (FCC'09)},
address = {Port Jefferson NY, USA},
team = {DCS},
}