International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Martín Abadi

Publications

Year
Venue
Title
2013
CRYPTO
Message-Locked Encryption for Lock-Dependent Messages
Martín Abadi Dan Boneh Ilya Mironov Ananth Raghunathan Gil Segev
2007
JOFC
Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)
Martín Abadi Phillip Rogaway
2002
JOFC
Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)
Martín Abadi Phillip Rogaway
2000
CRYPTO
Taming the Adversary ★
Martín Abadi
1991
CRYPTO
A Calculus for Access Control in Distributed Systems ★
Martín Abadi Michael Burrows Butler W. Lampson Gordon D. Plotkin
1990
JOFC
Secure Circuit Evaluation
Martín Abadi Joan Feigenbaum
1988
CRYPTO
On Generating Solved Instances of Computational Problems
Martín Abadi Eric Allender Andrei Z. Broder Joan Feigenbaum Lane A. Hemachandra

Coauthors

Martín Abadi (7)
Eric Allender (1)
Dan Boneh (1)
Andrei Z. Broder (1)
Michael Burrows (1)
Joan Feigenbaum (2)
Lane A. Hemachandra (1)
Butler W. Lampson (1)
Ilya Mironov (1)
Gordon D. Plotkin (1)
Ananth Raghunathan (1)
Phillip Rogaway (2)
Gil Segev (1)