Richard A. Kemmerer |
|
|---|---|
Author's Web Page  | |
| 3 papers in database with 390 citations  H-number: 2 | |
Journal Papers |
|
| 1. Richard A. Kemmerer, Catherine Meadows, Jonathan K. Millen, Three Systems for Cryptographic Protocol Analysis, Journal of Cryptology,
Volume 7(2), pp. 79 - 130,
Springer, 1994. [  Cited
234 times
 ] | |
Conference Papers |
|
| 1. Richard A. Kemmerer, Analyzing Encryption Protocols Using Formal Verification Authentication Schemes, pp. 289 - 305, CRYPTO 1987. [  Electronic
Edition][Cited
2 times
] | |
| 2. Richard A. Kemmerer, Analyzing Encryption Protocols Using Formal Verification Techniques, pp. 48 - 48, EUROCRYPT 1986. [ Electronic
Edition][Cited
154 times
] | |
3755 authors,
5428 conference papers from 177 conference proceedings,
559 journal papers from 8 journals