International Association for Cryptologic Research
Richard A. Kemmerer Search web for home page
Program Committees
| 1 | 1981 | Crypto | pc |
Publications
| year | title | booktitle | pages | |
|---|---|---|---|---|
| 1 | 1994 | Three System for Cryptographic Protocol Analysis | jofc | 79-130 |
| 2 | 1987 | Analyzing Encryption Protocols Using Formal Verification Authentication Schemes | crypto | 289-305 |
| 3 | 1986 | Analyzing Encryption Protocols Using Formal Verification Techniques | eurocrypt | 48 |
Coauthors of Richard A. Kemmerer |