Statistics
Publications
1
Citations
29
H-Index
1
Active since
2010
Affiliations
Sylvain Heraud is an author at Madrid Institute for Advanced Studies specializing in computer science, proof assistants, and protocol verification.
Publications per year
2010–2010
1
1
A Machine-Checked Formalization of Sigma-Protocols
Gilles Barthe, Daniel Hedin, Santiago Zanella-Béguelin et al. · 2010 · 29 citations · Full text
1–1 of 1