Кэтрин Медоуз
Кэтрин Энн Медоуз | |
|---|---|
| Образование | Чикагский университет (1975), доктор философии. в Университете Иллинойса в Урбане-Шампейне (1981) |
| Занятие | Криптограф |
| Работодатель | Центр систем высокой надежности Военно-морской исследовательской лаборатории |
| Известный | Разработка инструментов формальной верификации криптографических протоколов. |
Кэтрин Энн Медоуз — американский криптограф, известный разработкой инструментов для формальной проверки и автоматического обнаружения недостатков в криптографических протоколах . [1] Она является старшим научным сотрудником Центра систем высокой надежности Военно-морской исследовательской лаборатории и руководителем отдела формальных методов лаборатории. [2]
Образование и карьера
[ редактировать ]Медоуз — выпускник Чикагского университета 1975 года . [3] Она защитила докторскую диссертацию. Степень бакалавра математики в Университете Иллинойса в Урбане-Шампейне в 1981 году. [3] Ее диссертация «Проекции многообразий » касалась алгебраической геометрии и проводилась под руководством Э. Грэма Эванса-младшего. [4] Она была доцентом математики в Техасском университете A&M с 1981 по 1985 год, прежде чем присоединиться к Военно-морской исследовательской лаборатории. [3]
Признание
[ редактировать ]В мае 2019 года в честь Медоуза был проведен симпозиум во Фредериксбурге, штат Вирджиния , а сборник эссе симпозиума был опубликован в качестве праздничного пособия . [1]
Ссылки
[ редактировать ]- ^ Перейти обратно: а б Гуттман, Джошуа Д.; Ландвер, Карл Э .; Месегер, Хосе; Павлович, Душко (2019), Основы безопасности, протоколов и уравнениях рассуждений: эссе, посвященные Кэтрин А. Медоуз , Конспекты лекций по информатике, том. 11565, Спрингер, номер домена : 10.1007/978-3-030-19052-1 , ISBN. 978-3-030-19051-4 , S2CID 155103931 .См., в частности, Предисловие, стр. vii–ix; «Кэти Медоуз: центральная фигура в анализе протоколов», Сильван Пински, стр. 1–5; «Долгий медленный разговор», Джон Миллен, стр. 6–7, и «Ключевые воспоминания», Пол Сиверсон, стр. 8–14.
- ^ Кэтрин Медоуз , Лаборатория адаптивной безопасности и экономики, Гавайский университет , получено 20 сентября 2019 г.
- ^ Перейти обратно: а б с Кэтрин Медоуз - Военно-морская исследовательская лаборатория , Центр образования и исследований в области обеспечения информационной безопасности и безопасности (CERIAS), Университет Пердью , получено 20 сентября 2019 г.
- ^ Кэтрин Медоуз в проекте «Математическая генеалогия»
Внешние ссылки
[ редактировать ]- Публикации Кэтрин Медоуз, проиндексированные Google Scholar
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
- Живые люди
- Американские математики XX века
- Американские ученые-компьютерщики
- Американские женщины-компьютерщики
- Американские криптографы
- Выпускники Чикагского университета
- Выпускники Университета Иллинойса Урбана-Шампейн
- Преподаватели Техасского университета A&M
- Американские женщины-математики XX века
- Американские математики XXI века
- Американские женщины-математики XXI века
- Американские женщины-криптографы