Catherine Meadows |
|
|---|---|
| 7 papers in database with 884 citations  H-number: 7 | |
Journal Papers |
|
| 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
 ] | |
| 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
] | |
Conference Papers |
|
| 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
] | |
| 2. Catherine Meadows, Formal Verification of Cryptographic Protocols: A Survey, pp. 135 - 150, ASIACRYPT 1994. [ Electronic
Edition][Cited
231 times
] | |
| 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
] | |
| 5. G. R. Blakley, Catherine Meadows, Security of Ramp Schemes, pp. 242 - 268, CRYPTO 1984. [ Electronic
Edition][Cited
146 times
] | |
3755 authors,
5428 conference papers from 177 conference proceedings,
559 journal papers from 8 journals