Verimag

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

Publication Sections


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

info visites 829380