Get Catherine Meadows essential facts below. View Videos or join the Catherine Meadows discussion. Add Catherine Meadows to your PopFlock.com topic list for future reference or share this resource on social media.
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. 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.
^ abGuttman, 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.