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

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 912025