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]

Abstract

Abstract is missing.