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
Richard A. Kemmerer
Publications and invited talks
Year
Venue
Title
1994
JOFC
Three System for Cryptographic Protocol Analysis
Richard A. Kemmerer
Catherine Meadows
Jonathan K. Millen
1987
CRYPTO
Analyzing Encryption Protocols Using Formal Verification Authentication Schemes
Richard A. Kemmerer
1986
EUROCRYPT
Analyzing Encryption Protocols Using Formal Verification Techniques
Richard A. Kemmerer
Service
Crypto 1981 Program committee
Coauthors
Richard A. Kemmerer
(3)
Catherine Meadows
(1)
Jonathan K. Millen
(1)
