%0 Conference Paper %1 conf/eurocrypt/BartheCLS15 %A Barthe, Gilles %A Crespo, Juan Manuel %A Lakhnech, Yassine %A Schmidt, Benedikt %B EUROCRYPT (2) %D 2015 %E Oswald, Elisabeth %E Fischlin, Marc %I Springer %K dblp %P 689-718 %T Mind the Gap: Modular Machine-Checked Proofs of One-Round Key Exchange Protocols. %U http://dblp.uni-trier.de/db/conf/eurocrypt/eurocrypt2015-2.html#BartheCLS15 %V 9057 %@ 978-3-662-46802-9

@inproceedings{conf/eurocrypt/BartheCLS15, added-at = {2019-08-20T00:00:00.000+0200}, author = {Barthe, Gilles and Crespo, Juan Manuel and Lakhnech, Yassine and Schmidt, Benedikt}, biburl = {https://www.bibsonomy.org/bibtex/247dcaa4986114a6ea69c83eaf7dd3a73/dblp}, booktitle = {EUROCRYPT (2)}, crossref = {conf/eurocrypt/2015-2}, editor = {Oswald, Elisabeth and Fischlin, Marc}, ee = {https://doi.org/10.1007/978-3-662-46803-6_23}, interhash = {9d602bccf89ab1e1de0f3301c4f949de}, intrahash = {47dcaa4986114a6ea69c83eaf7dd3a73}, isbn = {978-3-662-46802-9}, keywords = {dblp}, pages = {689-718}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:19:44.000+0200}, title = {Mind the Gap: Modular Machine-Checked Proofs of One-Round Key Exchange Protocols.}, url = {http://dblp.uni-trier.de/db/conf/eurocrypt/eurocrypt2015-2.html#BartheCLS15}, volume = 9057, year = 2015 }