Catherine Meadows

Short description: American cryptographer

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

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]

## Contents

* 1 Education and career
* 2 Recognition
* 3 References
* 4 External links

## Education and career

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

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. ↑ 1.0 1.1 Guttman, Joshua D. (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, ISBN 978-3-030-19051-4 . 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, http://www.asecolab.org/people/catherine-meadows/, retrieved 2019-09-20
3. ↑ 3.0 3.1 3.2 Catherine Meadows - Naval Research Laboratory, Center for Education and Research in Information Assurance and Security (CERIAS), Purdue University, https://www.cerias.purdue.edu/news_and_events/events/security_seminar/details/index/9737-l1n7SiNod4sO-6272-b9dy6t8X07wnSGx3, retrieved 2019-09-20
4. ↑ Catherine Meadows at the Mathematics Genealogy Project

## External links

* Catherine Meadows publications indexed by Google Scholar

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Catherine Meadows. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Biography:Catherine_Meadows&oldid=1086258"