%0 Conference Paper %1 conf/eurocrypt/AmbronaBS16 %A Ambrona, Miguel %A Barthe, Gilles %A Schmidt, Benedikt %B EUROCRYPT (2) %D 2016 %E Fischlin, Marc %E Coron, Jean-Sébastien %I Springer %K dblp %P 822-851 %T Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model. %U http://dblp.uni-trier.de/db/conf/eurocrypt/eurocrypt2016-2.html#AmbronaBS16 %V 9666 %@ 978-3-662-49895-8

@inproceedings{conf/eurocrypt/AmbronaBS16, added-at = {2022-10-02T00:00:00.000+0200}, author = {Ambrona, Miguel and Barthe, Gilles and Schmidt, Benedikt}, biburl = {https://www.bibsonomy.org/bibtex/24a98c18f3bfc3e5a3f8864529f072f54/dblp}, booktitle = {EUROCRYPT (2)}, crossref = {conf/eurocrypt/2016-2}, editor = {Fischlin, Marc and Coron, Jean-Sébastien}, ee = {https://doi.org/10.1007/978-3-662-49896-5_29}, interhash = {1b35204a4fce7239b9eb81c951c74aad}, intrahash = {4a98c18f3bfc3e5a3f8864529f072f54}, isbn = {978-3-662-49895-8}, keywords = {dblp}, pages = {822-851}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:04:30.000+0200}, title = {Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model.}, url = {http://dblp.uni-trier.de/db/conf/eurocrypt/eurocrypt2016-2.html#AmbronaBS16}, volume = 9666, year = 2016 }