![](/img/cover-not-exists.png)
[IEEE 2010 IEEE 23rd Computer Security Foundations Symposium (CSF) - Edinburgh, United Kingdom (2010.07.17-2010.07.19)] 2010 23rd IEEE Computer Security Foundations Symposium - A Machine-Checked Formalization of Sigma-Protocols
Barthe, Gilles, Hedin, Daniel, Béguelin, Santiago Zanella, Grégoire, Benjamin, Heraud, SylvainYear:
2010
Language:
english
DOI:
10.1109/csf.2010.24
File:
PDF, 401 KB
english, 2010