%0 Conference Paper %1 conf/mpc/BartheGB12 %A Barthe, Gilles %A Grégoire, Benjamin %A Béguelin, Santiago Zanella %B MPC %D 2012 %E Gibbons, Jeremy %E Nogueira, Pablo %I Springer %K dblp %P 1-6 %T Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs. %U http://dblp.uni-trier.de/db/conf/mpc/mpc2012.html#BartheGB12 %V 7342 %@ 978-3-642-31112-3

@inproceedings{conf/mpc/BartheGB12, added-at = {2017-05-22T00:00:00.000+0200}, author = {Barthe, Gilles and Grégoire, Benjamin and Béguelin, Santiago Zanella}, biburl = {https://www.bibsonomy.org/bibtex/27aafbf0bd3177247e2e87718cbd8ea76/dblp}, booktitle = {MPC}, crossref = {conf/mpc/2012}, editor = {Gibbons, Jeremy and Nogueira, Pablo}, ee = {https://doi.org/10.1007/978-3-642-31113-0_1}, interhash = {86c84d2de5c77c8c2e877aba0d3ef05e}, intrahash = {7aafbf0bd3177247e2e87718cbd8ea76}, isbn = {978-3-642-31112-3}, keywords = {dblp}, pages = {1-6}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:29:30.000+0200}, title = {Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs.}, url = {http://dblp.uni-trier.de/db/conf/mpc/mpc2012.html#BartheGB12}, volume = 7342, year = 2012 }