Martín Abadi
Author's Web Page
5 papers in database with 1151 citations  H-number: 4
Journal Papers
[Sort papers chronologically] [Sort papers by citations count]
1. Martín Abadi,  Phillip Rogaway,  Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption), Journal of Cryptology, Volume 15(2), pp. 103 - 127, Springer, 2002. [Cited 389 times ]
2. Martín Abadi,  Joan Feigenbaum,  Secure Circuit Evaluation, Journal of Cryptology, Volume 2(1), pp. 1 - 12, Springer, 1990. [Cited 121 times ]
Conference Papers
[Sort papers chronologically] [Sort papers by citations count]
1. Martín Abadi,  Taming the Adversary, pp. 353 - 358, CRYPTO 2000. [Electronic Edition][IACR Online Archive][Cited 3 times ]
2. Martín Abadi,  Michael Burrows,  Butler W. Lampson,  Gordon D. Plotkin,  A Calculus for Access Control in Distributed Systems, pp. 1 - 23, CRYPTO 1991. [Electronic Edition][Cited 616 times ]
3. Martín Abadi,  Eric Allender,  Andrei Z. Broder,  Joan Feigenbaum,  Lane A. Hemachandra,  On Generating Solved Instances of Computational Problems, pp. 297 - 310, CRYPTO 1988. [Electronic Edition][Cited 22 times ]

Database status:
3755 authors,
5428 conference papers from 177 conference proceedings,
559 journal papers from 8 journals