Catherine Meadows

Catherine Ann Meadows
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]

^ Cite error: The named reference fs was invoked but never defined (see the help page).
^ Cite error: The named reference aseco was invoked but never defined (see the help page).

[fs-1] Cite error: The named reference fs was invoked but never defined (see the help page).

[aseco-2] Cite error: The named reference aseco was invoked but never defined (see the help page).

[1]

[2]