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

Sections de Publications

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

info visites 1627298