Cryptographers' World
 

Catherine Meadows



7 papers in database with 884 citations StarStar

H-number: 7

Journal Papers

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

 
1. Paul F. Syverson,  Catherine Meadows,  A Formal Language for Cryptographic Protocol Requirements, Designs, Codes and Cryptography, Volume 7(1), pp. 27 - 59, Springer, 1996.

[Electronic Edition][Cited 51 times Red Star]

2. 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. Catherine Meadows,  Paul F. Syverson,  A Formal Specification of Requirements for Payment Transactions in the SET Protocol, pp. 122 - 140, FC 1998.

[Electronic Edition][Cited 69 times Red Star]

2. Catherine Meadows,  Formal Verification of Cryptographic Protocols: A Survey, pp. 135 - 150, ASIACRYPT 1994.

[Electronic Edition][Cited 231 times Red StarRed Star]

3. Paul F. Syverson,  Catherine Meadows,  Formal Requirements for Key Distribution Protocols, pp. 320 - 331, EUROCRYPT 1994.

[Electronic Edition][Cited 47 times ]

4. G. R. Blakley,  Catherine Meadows,  George B. Purdy,  Fingerprinting Long Forgiving Messages, pp. 180 - 189, CRYPTO 1985.

[Electronic Edition][Cited 106 times Red StarRed Star]

5. G. R. Blakley,  Catherine Meadows,  Security of Ramp Schemes, pp. 242 - 268, CRYPTO 1984.

[Electronic Edition][Cited 146 times Red StarRed Star]



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