International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Klaus Gaarder

Publications and invited talks

Year
Venue
Title
1991
JOFC
Applying a Formal Analysis Technique to the CCITT X.509 Strong Two-Way Authentication Protocol
Klaus Gaarder Einar Snekkenes
1990
AUSCRYPT
On The Formal Analysis of PKCS Authentication Protocols
Klaus Gaarder Einar Snekkenes

Coauthors

Klaus Gaarder (2)
Einar Snekkenes (2)