International Association for Cryptologic Research
Jose Bacelar Almeida Search web for home page
Publications
| year | title | booktitle | pages | |
|---|---|---|---|---|
| 1 | 2010 | A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on $\Sigma$-Protocols | eprint | online |
Coauthors of Jose Bacelar Almeida |