A Machine-Checked Formalization of Sigma-Protocols

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]

Authors

Gilles Barthe

This author has not been identified. Look up 'Gilles Barthe' in Google

Daniel Hedin

This author has not been identified. Look up 'Daniel Hedin' in Google

Santiago Zanella Béguelin

This author has not been identified. Look up 'Santiago Zanella Béguelin' in Google

Benjamin Grégoire

This author has not been identified. Look up 'Benjamin Grégoire' in Google

Sylvain Heraud

This author has not been identified. Look up 'Sylvain Heraud' in Google