What a lovely hat
Is it made out of
tin foil
?
International Association for Cryptologic Research
International Association
for Cryptologic Research
IACR
Events
All IACR events
Asiacrypt
Crypto
Eurocrypt
CHES
FSE
PKC
TCC
RWC
Cryptology Schools
In cooperation with IACR
Publications
All IACR Publications
Journal of Cryptology
Transactions on Symmetric Cryptology
Transactions on CHES
Communications in Cryptology
Cryptology ePrint Archive
Artifact Archive
Access IACR Publications
Museum of Historic Papers
Publication Statistics
News
All News
Awards
Elections
Petitions & Statements
Services
Jobs
CryptoDB
Calendar of Events
Videos
Members
How to Join
Update Membership Information
Access IACR Publications
Subscribe to News Updates
About
About IACR
Board of Directors
Committees
Documents
Privacy Policy
Suggestions from
local search
as you type. Hit enter to search with Google.
Search
Suggestions from
local search
as you type. Hit enter to search with Google.
CryptoDB
General
About CryptoDB
Report errors
Publications
Awards
Invited talks/papers
By year
By venue
With video
Acceptance rates
BibTeX
People
Most publications
Coauthor statistics
All service
Peer review service
Catherine Meadows
Publications and invited talks
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)
Catherine Meadows
(5)
Jonathan K. Millen
(1)
George B. Purdy
(1)
Paul F. Syverson
(1)
