International Association for Cryptologic Research
Einar Snekkenes Search web for home page
Publications
| year | title | booktitle | pages | |
|---|---|---|---|---|
| 1 | 1991 | Applying a Formal Analysis Technique to the CCITT X.509 Strong Two-Way Authentication Protocol | jofc | 81-98 |
| 2 | 1990 | On The Formal Analysis of PKCS Authentication Protocols | auscrypt | 106-121 |
Coauthors of Einar Snekkenes |