Кэтрин Медоуз - Catherine Meadows

Кэтрин Энн Медоуз - американский криптограф, известный своими разработками инструментов для формальной проверки и автоматического обнаружения недостатков в криптографические протоколы.[1] Она является старшим научным сотрудником Центра систем высокой надежности Лаборатория военно-морских исследований и заведующий отделом формальных методов лаборатории.[2]

Образование и карьера

Медоуз - выпускник 1975 г. Чикагский университет.[3]защитил кандидатскую диссертацию. по математике на Университет Иллинойса в Урбане-Шампейн в 1981 г. Ее диссертация, Прогнозы разновидностей, обеспокоенный алгебраическая геометрия под руководством Э. Грэма Эванса-младшего.[4] Она была доцентом математики в Техасский университет A&M с 1981 по 1985 год до работы в Военно-морской исследовательской лаборатории.[3]

Признание

Симпозиум был проведен в честь Медоуза в Фредериксбург, Вирджиния в мае 2019 года, а сборник эссе симпозиума был опубликован в фестивальный сбор.[1]

Рекомендации

  1. ^ а б Guttman, Joshua D .; Ландвер, Карл Э.; Месегер, Хосе; Павлович, Душко (2019), Основы безопасности, протоколы и рассуждения по уравнениям: очерки, посвященные Кэтрин А. Медоуз, Конспект лекций по информатике, 11565, Спрингер, Дои:10.1007/978-3-030-19052-1. См., В частности, Предисловие, стр. Vii – ix; «Кэти Медоуз: центральная фигура в анализе протокола», Сильван Пински, стр. 1–5; «Долгая медленная беседа», Джон Миллен, стр. 6–7, и «Ключевые воспоминания», Пол Сайверсон, стр. 8–14.
  2. ^ Кэтрин Медоуз, Лаборатория адаптивной безопасности и экономики, Гавайский университет, получено 2019-09-20
  3. ^ а б Кэтрин Медоуз - Лаборатория военно-морских исследований, Центр образования и исследований в области обеспечения и безопасности информации (CERIAS), Университет Пердью, получено 2019-09-20
  4. ^ Кэтрин Медоуз на Проект "Математическая генеалогия"

внешняя ссылка