Catherine Meadows

from Wikipedia, the free encyclopedia

Catherine Ann Meadows is an American mathematician and cryptologist . She is known for her development of tools for formal verification and automated detection of errors in cryptographic protocols.

life and work

Meadows studied mathematics from 1971 to 1975 at the University of Chicago . In 1981 she received her PhD in mathematics from the University of Illinois at Urbana-Champaign . Her dissertation, Projections of Varieties, was on algebraic geometry and was supervised by Edward Graham Evans Jr. From 1981 to 1985, she was an assistant professor of mathematics at Texas A&M University , working in various areas of cryptography , including secret exchange programs and software protection, before moving to the Naval Research Laboratory . At the Marine Research Laboratory's High Security Systems Center, she is a senior researcher in computer security and director of the laboratory's formal methods department. She was a pioneer in developing symbolic formal verification methods and tools. Your NRL Protocol Analyzer has been successfully applied to the analysis of many protocols and protocol standards and has had a tremendous impact in the field. She also developed a new temporal logic for specifying protocol properties, as well as new methods for analyzing different types of properties that are outside of secrecy. She made important contributions in other areas such as security, intruder detection, and the relationship between computational and symbolic approaches to cryptography. In 2019 , a symposium in her honor was held in Fredericksburg, Virginia , and a collection of lectures from the symposium was published as a commemorative publication.

literature

  • Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic: Foundations of Security, Protocols, and Equational Reasoning, Essays Dedicated to Catherine A. Meadows, 2019, ISBN 978-3030190514

Web links

personal data
SURNAME Meadows, Catherine
ALTERNATIVE NAMES Meadows, Catherine Ann
BRIEF DESCRIPTION American mathematician and cryptologist
DATE OF BIRTH 20th century