Verimag

bibtex

@inproceedings{GLL13,
    title = {Automated Security Proofs for Almost-Universal Hash for MAC verification },
    author = {Gagne, Martin and Lafourcade, Pascal and Lakhnech, Yassine},
    year = {2013},
    booktitle = {Computer Security - ESORICS 2013 - 18th European Symposium on Research in Computer Security, London, UK, September 2012. Proceedings},
    note = {to appear},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    team = {DCS},
}

Publication Sections


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

info visites 792568