Catalina Meadows

Catherine Ann Meadows es una criptógrafa estadounidense conocida por el desarrollo de herramientas para la verificación formal y el descubrimiento automatizado de fallos en protocolos criptográficos . ^{[ 1 ]} Es investigadora principal en el Centro de Sistemas de Alta Seguridad del Laboratorio de Investigación Naval y jefa de la Sección de Métodos Formales del laboratorio. ^{[ 2 ]}

Educación y carrera

Meadows se graduó de la Universidad de Chicago en 1975. ^{[ 3 ]} Obtuvo un doctorado en matemáticas en la Universidad de Illinois en Urbana-Champaign en 1981. ^{[ 3 ]} Su tesis doctoral, Proyecciones de variedades , versó sobre geometría algebraica y fue dirigida por E. Graham Evans Jr. ^{[ 4 ]} Fue profesora asistente de matemáticas en la Universidad de Texas A&M de 1981 a 1985 antes de incorporarse al Laboratorio de Investigación Naval. ^{[ 3 ]}

Reconocimiento

En mayo de 2019 se celebró un simposio en honor de Meadows en Fredericksburg, Virginia , y se publicó una colección de ensayos del simposio como libro conmemorativo . ^{[ 1 ]}

Referencias

1 2 Guttman, Joshua D.; Landwehr, Carl E. ; Meseguer, José; Pavlovic, Dusko (2019), Fundamentos de seguridad, protocolos y razonamiento ecuacional: ensayos dedicados a Catherine A. Meadows , Lecture Notes in Computer Science, vol. 11565, Springer, doi : 10.1007/978-3-030-19052-1 , ISBN 978-3-030-19051-4, S2CID 155103931 Véase en particular el Prefacio, págs. vii–ix; «Cathy Meadows: una figura central en el análisis de protocolos», Sylvan Pinsky, págs. 1–5; «Una larga y lenta conversación», Jon Millen, págs. 6–7, y «Reminiscencias clave», Paul Syverson, págs. 8–14.
↑ Catherine Meadows , Laboratorio de Seguridad Adaptativa y Economía, Universidad de Hawái , consultado el 20 de septiembre de 2019.
1 2 3 Catherine Meadows - Laboratorio de Investigación Naval , Centro de Educación e Investigación en Seguridad y Garantía de la Información (CERIAS), Universidad de Purdue , consultado el 20 de septiembre de 2019
↑ Catherine Meadows en el Proyecto de Genealogía Matemática

Enlaces externos

Publicaciones de Catherine Meadows indexadas por Google Académico

[fs-1] 1 2 Guttman, Joshua D.; Landwehr, Carl E. ; Meseguer, José; Pavlovic, Dusko (2019), Fundamentos de seguridad, protocolos y razonamiento ecuacional: ensayos dedicados a Catherine A. Meadows , Lecture Notes in Computer Science, vol. 11565, Springer, doi : 10.1007/978-3-030-19052-1 , ISBN 978-3-030-19051-4, S2CID 155103931 Véase en particular el Prefacio, págs. vii–ix; «Cathy Meadows: una figura central en el análisis de protocolos», Sylvan Pinsky, págs. 1–5; «Una larga y lenta conversación», Jon Millen, págs. 6–7, y «Reminiscencias clave», Paul Syverson, págs. 8–14.

[aseco-2] Catherine Meadows , Laboratorio de Seguridad Adaptativa y Economía, Universidad de Hawái , consultado el 20 de septiembre de 2019.

[cerias-3] 1 2 3 Catherine Meadows - Laboratorio de Investigación Naval , Centro de Educación e Investigación en Seguridad y Garantía de la Información (CERIAS), Universidad de Purdue , consultado el 20 de septiembre de 2019

[mg-4] Catherine Meadows en el Proyecto de Genealogía Matemática

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]