Verimag

bibtex

@inproceedings{BGK+12,
    title = {Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs },
    author = {Barthe, Gilles and Gr\'egoire, Benjamin and Kunz, C\'esar and Lakhnech, Yassine and B\'eguelin, Santiago Zanella},
    year = {2012},
    booktitle = {CPP},
    pages = {7-8},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {7679},
    team = {DCS},
}

Publication Sections


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

info visites 775262