%0 Conference Paper %1 conf/sas/BartheGB12 %A Barthe, Gilles %A Grégoire, Benjamin %A Béguelin, Santiago Zanella %B SAS %D 2012 %E Miné, Antoine %E Schmidt, David %I Springer %K dblp %P 1-2 %T Computer-Aided Cryptographic Proofs. %U http://dblp.uni-trier.de/db/conf/sas/sas2012.html#BartheGB12 %V 7460 %@ 978-3-642-33124-4

@inproceedings{conf/sas/BartheGB12, added-at = {2017-05-24T00:00:00.000+0200}, author = {Barthe, Gilles and Grégoire, Benjamin and Béguelin, Santiago Zanella}, biburl = {https://www.bibsonomy.org/bibtex/29d7c0ac0ff4ad5c498e270033b0e8231/dblp}, booktitle = {SAS}, crossref = {conf/sas/2012}, editor = {Miné, Antoine and Schmidt, David}, ee = {https://doi.org/10.1007/978-3-642-33125-1_1}, interhash = {d50460a7495664308a84223a00d36cf6}, intrahash = {9d7c0ac0ff4ad5c498e270033b0e8231}, isbn = {978-3-642-33124-4}, keywords = {dblp}, pages = {1-2}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:44:46.000+0200}, title = {Computer-Aided Cryptographic Proofs.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2012.html#BartheGB12}, volume = 7460, year = 2012 }