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


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

info visites 4192057