Publication Overview

Michael Backes and Fabian Bendun and Dominique Unruh

Computational Soundness of Symbolic Zero-Knowledge Proofs: Weaker Assumptions and Mechanized Verification

Published in: Proc. 2nd Conference on Principles of Security and Trust (POST 2013)
Year: 2013
Pages: 206-225