bibtex

@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},
}


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4190662