A machine-checked formalization of sigma-protocols (2010)

by Gilles Barthe, Daniel Hedin, Santiago Zanella Béguelin, Benjamin Grégoire, Sylvain Heraud
Venue:In Computer Security Foundations Symposium (CSF), 2010 23rd IEEE