%0 Journal Article %1 journals/iacr/BackesBU12 %A Backes, Michael %A Bendun, Fabian %A Unruh, Dominique %D 2012 %J IACR Cryptology ePrint Archive %K dblp %P 81 %T Computational Soundness of Symbolic Zero-knowledge Proofs: Weaker Assumptions and Mechanized Verification. %U http://dblp.uni-trier.de/db/journals/iacr/iacr2012.html#BackesBU12 %V 2012

@article{journals/iacr/BackesBU12, added-at = {2018-08-14T00:00:00.000+0200}, author = {Backes, Michael and Bendun, Fabian and Unruh, Dominique}, biburl = {https://www.bibsonomy.org/bibtex/290736b554a40e806d21e6ccd3ea52a90/dblp}, ee = {http://eprint.iacr.org/2012/081}, interhash = {a3e4899b49fcb552e4a8c9a3aa05ce44}, intrahash = {90736b554a40e806d21e6ccd3ea52a90}, journal = {IACR Cryptology ePrint Archive}, keywords = {dblp}, pages = 81, timestamp = {2018-08-15T11:54:47.000+0200}, title = {Computational Soundness of Symbolic Zero-knowledge Proofs: Weaker Assumptions and Mechanized Verification.}, url = {http://dblp.uni-trier.de/db/journals/iacr/iacr2012.html#BackesBU12}, volume = 2012, year = 2012 }