%0 Conference Paper %1 conf/icalp/CorinH06 %A Corin, Ricardo %A den Hartog, Jerry %B ICALP (2) %D 2006 %E Bugliesi, Michele %E Preneel, Bart %E Sassone, Vladimiro %E Wegener, Ingo %I Springer %K dblp %P 252-263 %T A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs. %U http://dblp.uni-trier.de/db/conf/icalp/icalp2006-2.html#CorinH06 %V 4052 %@ 3-540-35907-9

@inproceedings{conf/icalp/CorinH06, added-at = {2017-05-23T00:00:00.000+0200}, author = {Corin, Ricardo and den Hartog, Jerry}, biburl = {https://www.bibsonomy.org/bibtex/2d11a2f7670958991832b75cc94e380fe/dblp}, booktitle = {ICALP (2)}, crossref = {conf/icalp/2006-2}, editor = {Bugliesi, Michele and Preneel, Bart and Sassone, Vladimiro and Wegener, Ingo}, ee = {https://doi.org/10.1007/11787006_22}, interhash = {4e50b66b3295ab793a1a9ad34e352b65}, intrahash = {d11a2f7670958991832b75cc94e380fe}, isbn = {3-540-35907-9}, keywords = {dblp}, pages = {252-263}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:26:07.000+0200}, title = {A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp2006-2.html#CorinH06}, volume = 4052, year = 2006 }