Catherine Meadows

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]

Education and career

Meadows is a 1975 graduate of the University of Chicago.[3] completed a Ph.D. in mathematics at the University of Illinois at Urbana–Champaign in 1981. 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

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

1. 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, 11565, Springer, doi:10.1007/978-3-030-19052-1. 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.
2. Catherine Meadows, Adaptive Security and ECOnomics Lab, University of Hawaii, retrieved 2019-09-20
3. Catherine Meadows - Naval Research Laboratory, Center for Education and Research in Information Assurance and Security (CERIAS), Purdue University, retrieved 2019-09-20
4. Catherine Meadows at the Mathematics Genealogy Project

External links

• Catherine Meadows publications indexed by Google Scholar