Cryptographers' World
 

Richard A. Kemmerer


Author's Web Page Link

3 papers in database with 390 citations Star

H-number: 2

Journal Papers

[Sort papers chronologically] [Sort papers by citations count]

 
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 Red StarRed Star]

Conference Papers

[Sort papers chronologically] [Sort papers by citations count]

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 Red StarRed Star]



Database status:
3755 authors,
5428 conference papers from 177 conference proceedings,
559 journal papers from 8 journals
Highly Cited...