Summary
Catherine Ann Meadows is an American cryptographer known for her development of tools for the formal verification and automated discovery of flaws in cryptographic protocols.[1] She is a senior researcher in the Center for High Assurance Systems at the Naval Research Laboratory and the head of the laboratory's Formal Methods Section.[2]
Catherine Ann Meadows | |
|---|---|
| Education | University of Chicago (1975), Ph.D. at University of Illinois at Urbana–Champaign (1981) |
| Occupation | Cryptographer |
| Employer | Center for High Assurance Systems at the Naval Research Laboratory |
| Known for | Developing tools for formal verification of cryptographic protocols |
Education and career edit
Meadows is a 1975 graduate of the University of Chicago.[3] She completed a Ph.D. in mathematics at the University of Illinois at Urbana–Champaign in 1981.[3] Her dissertation, Projections of Varieties, concerned algebraic geometry and was supervised by E. Graham Evans Jr.[4] She was an assistant professor of mathematics at Texas A&M University from 1981 to 1985 before joining the Naval Research Laboratory.[3]
Recognition edit
A symposium was held in Meadows's honor in Fredericksburg, Virginia in May 2019, and a collection of essays from the symposium was published as a festschrift.[1]
References edit
- ^ a b Guttman, Joshua D.; Landwehr, Carl E.; Meseguer, José; Pavlovic, Dusko (2019), Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows, Lecture Notes in Computer Science, vol. 11565, Springer, doi:10.1007/978-3-030-19052-1, ISBN 978-3-030-19051-4, S2CID 155103931. See in particular Preface, pp. vii–ix; "Cathy Meadows: A Central Figure in Protocol Analysis", Sylvan Pinsky, pp. 1–5; "A Long Slow Conversation", Jon Millen, pp. 6–7, and "Key Reminiscences", Paul Syverson, pp. 8–14.
- ^ Catherine Meadows, Adaptive Security and ECOnomics Lab, University of Hawaii, retrieved 2019-09-20
- ^ a b c Catherine Meadows - Naval Research Laboratory, Center for Education and Research in Information Assurance and Security (CERIAS), Purdue University, retrieved 2019-09-20
- ^ Catherine Meadows at the Mathematics Genealogy Project
External links edit
- Catherine Meadows publications indexed by Google Scholar