DMCA

S.: A machine-checked formalization of Sigma-protocols (2010)

by Gilles Barthe , Daniel Hedin , Santiago Zanella Béguelin , Benjamin Grégoire , Sylvain Heraud
Venue:In: 23rd IEEE Computer Security Foundations symposium, CSF
Citations:9 - 3 self