Catherine Meadows - Catherine Meadows

Catherine Ann Meadows je americká kryptografka známá svým vývojem nástrojů pro formální ověřování a automatizované zjišťování nedostatků kryptografické protokoly.[1] Je vedoucí výzkumnou pracovnicí v Centru pro vysoce zabezpečovací systémy u Naval Research Laboratory a vedoucí sekce formálních metod laboratoře.[2]

Vzdělání a kariéra

Meadows je absolventem 1975 University of Chicago.[3]dokončil Ph.D. v matematice na University of Illinois v Urbana – Champaign v roce 1981. Její disertační práce, Projekce odrůd, znepokojený algebraická geometrie a dohlížel na něj E. Graham Evans Jr.[4] Byla odbornou asistentkou matematiky na Texas A&M University od roku 1981 do roku 1985 před vstupem do Naval Research Laboratory.[3]

Uznání

V roce se na počest Meadowse konalo sympozium Fredericksburg, Virginie v květnu 2019 byla vydána sbírka esejů ze sympozia jako a slavnostní svátek.[1]

Reference

  1. ^ A b Guttman, Joshua D .; Landwehr, Carl E.; Meseguer, José; Pavlovic, Dusko (2019), Základy bezpečnosti, protokolů a rovného uvažování: Eseje věnované Catherine A. Meadowsové, Přednášky v informatice, 11565Springer, doi:10.1007/978-3-030-19052-1.Viz zejména Preface, str. Vii – ix; „Cathy Meadows: Ústřední postava v analýze protokolu“, Sylvan Pinsky, s. 1–5; „Dlouhá pomalá konverzace“, Jon Millen, s. 6–7, a „Klíčové vzpomínky“, Paul Syverson, s. 8–14.
  2. ^ Catherine Meadows, Adaptive Security and ECOnomics Lab, University of Hawaii, vyvoláno 2019-09-20
  3. ^ A b Catherine Meadows - Naval Research Laboratory, Centrum pro vzdělávání a výzkum v oblasti informační bezpečnosti a bezpečnosti (CERIAS), Purdue University, vyvoláno 2019-09-20
  4. ^ Catherine Meadows na Matematický genealogický projekt

externí odkazy