Catherine Meadows

Catherine Ann Meadows
EducationUniversity of Chicago (1975), Ph.D. at University of Illinois at Urbana–Champaign (1981)
OccupationCryptographer
EmployerCenter for High Assurance Systems at the Naval Research Laboratory
Known forDeveloping 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. 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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.