International Association for Cryptologic Research
Martín Abadi Search web for home page
Publications
| year | title | booktitle | pages | |
|---|---|---|---|---|
| 1 | 2007 | Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption) | jofc | 395 |
| 2 | 2002 | Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption) | jofc | 103-127 |
| 3 | 2000 | Taming the Adversary | crypto | 353-358 |
| 4 | 1991 | A Calculus for Access Control in Distributed Systems | crypto | 1-23 |
| 5 | 1990 | Secure Circuit Evaluation | jofc | 1-12 |
| 6 | 1988 | On Generating Solved Instances of Computational Problems | crypto | 297-310 |
Coauthors of Martín Abadi |