A Machine-Checked Formalization of Sigma-Protocols - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Gilles Barthe, Daniel Hedin, Santiago Zanella Béguelin, Benjamin Grégoire, Sylvain Heraud. A Machine-Checked Formalization of Sigma-Protocols. In Proceedings of the 23rd IEEE Computer Security Foundations Symposium, CSF 2010, Edinburgh, United Kingdom, July 17-19, 2010. pages 246-260, IEEE Computer Society, 2010. [doi]

The following publications are possibly variants of this publication:

A Machine-Checked Formalization of the Random Oracle ModelGilles Barthe, Sabrina Tarento. TYPES 2006: 33-49 [doi]

A Machine-Checked Formalization of the Generic Model and the Random Oracle ModelGilles Barthe, Jan Cederquist, Sabrina Tarento. cade 2004: 385-399 [doi]

runs on WebDSL