@inproceedings{GLL+9a,
title = {Automated Proofs for Encryption Modes },
author = {Gagne, Martin and Lafourcade, Pascal and Lakhnech, Yassine and Reihaneh, Safavi},
month = {oct},
year = {2009},
booktitle = {13th Annual Asian Computing Science Conference Focusing on Information Security and Privacy: Theory and Practice (ASIAN0'9)},
address = {Urumqi, China},
team = {RSD},
}