@misc{cryptoeprint:2013:073, author = {Marek Jawurek and Florian Kerschbaum and Claudio Orlandi}, title = {Zero-Knowledge Using Garbled Circuits: How To Prove Non-Algebraic Statements Efficiently}, howpublished = {Cryptology ePrint Archive, Report 2013/073}, year = {2013}, url = {http://eprint.iacr.org/2013/073}, }