Publication Overview

Michael Backes and Dominique Unruh

Computational soundness of symbolic zero-knowledge proofs

Published in: Journal of Computer Security
Year: 2010
Volume: 18
Pages: 1077-1155