International Association for Cryptologic Research
Catherine Meadows Search web for home page
Publications
| year | title | booktitle | pages | |
|---|---|---|---|---|
| 1 | 1994 | Formal Requirements for Key Distribution Protocols | eurocrypt | 320-331 |
| 2 | 1994 | Three System for Cryptographic Protocol Analysis | jofc | 79-130 |
| 3 | 1994 | Formal Verification of Cryptographic Protocols: A Survey | asiacrypt | 135-150 |
| 4 | 1985 | Fingerprinting Long Forgiving Messages | crypto | 180-189 |
| 5 | 1984 | Security of Ramp Schemes | crypto | 242-268 |
Coauthors of Catherine Meadows |