International Association for Cryptologic Research
Matteo Maffei Search web for home page
Publications
| year | title | booktitle | pages | |
|---|---|---|---|---|
| 1 | 2010 | Computationally Sound Verification of Source Code | eprint | online |
| 2 | 2007 | Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol | eprint | online |
Coauthors of Matteo Maffei |