Catherine Meadows

Catherine Ann Meadows é uma matemática e criptologista americana . Ela é conhecida por seu desenvolvimento de ferramentas para verificação formal e detecção automatizada de erros em protocolos criptográficos.

vida e trabalho

Meadows estudou matemática de 1971 a 1975 na Universidade de Chicago . Em 1981, ela recebeu seu PhD em matemática pela Universidade de Illinois em Urbana-Champaign . Sua dissertação, Projections of Varieties, foi sobre geometria algébrica e foi supervisionada por Edward Graham Evans Jr. De 1981 a 1985, ela foi professora assistente de matemática na Texas A&M University , trabalhando em várias áreas de criptografia , incluindo programas de intercâmbio secreto e proteção de software, antes de se mudar para o Laboratório de Pesquisa Naval . Ela é pesquisadora sênior em segurança de computadores no Centro de Sistemas de Alta Segurança do Laboratório de Pesquisa Marinhae Chefe da Divisão de Métodos Formais do Laboratório. Ela foi pioneira no desenvolvimento de métodos e ferramentas de verificação formal simbólica. Seu NRL Protocol Analyzer foi aplicado com sucesso à análise de muitos protocolos e padrões de protocolo e teve um tremendo impacto no campo. Ela também desenvolveu uma nova lógica temporal para especificar propriedades de protocolo, bem como novos métodos para analisar diferentes tipos de propriedades que estão fora do sigilo. Ela fez contribuições importantes em outras áreas, como segurança, detecção de intrusos e a relação entre as abordagens computacional e simbólica da criptografia. Em 2019 , um simpósio em sua homenagem foi realizado em Fredericksburg, Virginia , e uma coleção de palestras do simpósio foi publicada como uma publicação comemorativa.

literatura

• 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

Links da web

• Perfil do Google Scholar
• Perfil Researchgate
• Catherine Meadows, do US Naval Research Laboratory
• Bibliografia da ciência da computação
• Catherine Meadows