International Association for Cryptologic Research
Flavio D. Garcia Search web for home page
Publications
| year | title | booktitle | pages | |
|---|---|---|---|---|
| 1 | 2010 | Dismantling SecureMemory, CryptoMemory and CryptoRF | eprint | online |
| 2 | 2006 | Sound Computational Interpretation of Formal Hashes | eprint | online |
| 3 | 2006 | Completeness of Formal Hashes in the Standard Model | eprint | online |
Coauthors of Flavio D. Garcia |