bibtex

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

Sections de Publications


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

info visites 1359637