International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Catherine Meadows

Publications

Year
Venue
Title
1994
ASIACRYPT
Formal Verification of Cryptographic Protocols: A Survey ★
Catherine Meadows
1994
EUROCRYPT
Formal Requirements for Key Distribution Protocols
Paul F. Syverson Catherine Meadows
1994
JOFC
Three System for Cryptographic Protocol Analysis
Richard A. Kemmerer Catherine Meadows Jonathan K. Millen
1985
CRYPTO
Fingerprinting Long Forgiving Messages
G. R. Blakley Catherine Meadows George B. Purdy
1984
CRYPTO
Security of Ramp Schemes
G. R. Blakley Catherine Meadows

Coauthors

G. R. Blakley (2)
Richard A. Kemmerer (1)
Jonathan K. Millen (1)
George B. Purdy (1)
Paul F. Syverson (1)