International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Martín Abadi

Publications

Year
Venue
Title
2015
EPRINT
2013
CRYPTO
2007
JOFC
2002
JOFC
2000
CRYPTO
Taming the Adversary
Martín Abadi
1991
CRYPTO
1990
JOFC
1988
CRYPTO