bibtex

@inproceedings{BCL+5,
    title = {Mind the Gap: Modular Machine-Checked Proofs of One-Round Key Exchange Protocols },
    author = {Barthe, Gilles and Crespo, Juan Manuel and Lakhnech, Yassine and Schmidt, Benedikt},
    year = {2015},
    booktitle = {Advances in Cryptology - {EUROCRYPT} 2015 - 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part {II}},
    pages = {689--718},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {9057},
    team = {RSD, DCS},
}


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

info visites 4135739