%0 Conference Paper %1 conf/popl/BartheFGSSB14 %A Barthe, Gilles %A Fournet, Cédric %A Grégoire, Benjamin %A Strub, Pierre-Yves %A Swamy, Nikhil %A Béguelin, Santiago Zanella %B POPL %D 2014 %E Jagannathan, Suresh %E Sewell, Peter %I ACM %K %P 193-206 %T Probabilistic relational verification for cryptographic implementations. %U http://dblp.uni-trier.de/db/conf/popl/popl2014.html#BartheFGSSB14 %@ 978-1-4503-2544-8

@inproceedings{conf/popl/BartheFGSSB14, added-at = {2023-12-12T22:20:47.000+0100}, author = {Barthe, Gilles and Fournet, Cédric and Grégoire, Benjamin and Strub, Pierre-Yves and Swamy, Nikhil and Béguelin, Santiago Zanella}, biburl = {https://www.bibsonomy.org/bibtex/2f5b48d1d6d0e1e0351a1f90b6296e0c4/admin}, booktitle = {POPL}, crossref = {conf/popl/2014}, editor = {Jagannathan, Suresh and Sewell, Peter}, ee = {https://doi.org/10.1145/2535838.2535847}, interhash = {4967f7a3e725b6d62f86677964038855}, intrahash = {f5b48d1d6d0e1e0351a1f90b6296e0c4}, isbn = {978-1-4503-2544-8}, keywords = {}, pages = {193-206}, publisher = {ACM}, timestamp = {2023-12-12T22:20:47.000+0100}, title = {Probabilistic relational verification for cryptographic implementations.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2014.html#BartheFGSSB14}, year = 2014 }