Гэвин Лоу (ученый-компьютерщик)
Гэвин Лоу | |
|---|---|
| Национальность | Британский |
| Альма-матер | Оксфордский университет |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Оксфордский университет (с 2000 г.) [1] Университет Лестера (до 2000 г.) [2] |
| Диссертация | Вероятности и приоритеты в синхронизированном CSP (1993) |
| Докторантура | Билл Роско |
Гэвин Лоу — британский академик. Он профессор информатики [3] и научный сотрудник в колледже Святой Екатерины в Оксфорде , [1] профессор Оксфордского университета , [3] и президент старшей гостиной колледжа Святой Екатерины в Оксфорде. [1] Его исследовательские интересы включают компьютерную безопасность , для которой он разработал анализа криптографических протоколов инструмент Casper , и параллелизм .
Образование
[ редактировать ]Лоу изучал математику в колледже Святого Иоанна в Оксфорде . [4] затем получил степень магистра вычислительной техники в Оксфордском университете . [1] Он получил степень доктора философии в колледже Святого Хью в Оксфорде . [5] написание диссертации на тему «Вероятности и приоритеты в Timed CSP» . [5] [6] В 1995 году он опубликовал статью, подробно описывающую атаку на протокол Нидхэма-Шредера , а также метод решения этой проблемы. [7] [8] Фиксированная версия протокола, описанная в статье, называется протоколом Нидхэма-Шредера-Лоу. [9]
Карьера
[ редактировать ]Его исследовательские интересы включали компьютерную безопасность , для которой он разработал анализа криптографических протоколов инструмент Casper . [10] Этот инструмент преобразует описание протокола безопасности в CSP , которое затем обрабатывается средством FDR проверки уточнений . Недавно он перешел к исследованию области параллелизма . [3]
Он был сопредседателем программы совместного семинара по автоматизированному анализу протоколов безопасности и проблемам теории безопасности в 2010 году. [11]
Лоу — выдающийся учитель, получивший преподавательскую награду в 2008 году. [12] и 2010. [13] [14] Вместе с Питером Милликаном он отвечает за разработку и учреждение новой совместной степени в области компьютерных наук и философии в Оксфордском университете в 2012 году. [13] [15]
Личная жизнь
[ редактировать ]Лоу любит спелеологию . [16] Он был секретарем пещерного клуба Оксфордского университета с 1988 по 1989 год и мастером снастей в 1990 году. [4]
Ссылки
[ редактировать ]- ^ Jump up to: а б с д «Гэвин Лоу» . Колледж Святой Екатерины, Оксфорд . Проверено 10 февраля 2018 г.
- ^ «Бывший сотрудник Университета Лестера» . Университет Лестера . Проверено 10 февраля 2018 г.
- ^ Jump up to: а б с «Гэвин Лоу» . Кафедра компьютерных наук Оксфордского университета . Проверено 10 февраля 2018 г.
- ^ Jump up to: а б «История пещерного клуба OU» . www.oucc.org.uk. Проверено 11 февраля 2018 г.
- ^ Jump up to: а б Лоу, Гэвин (1994). Вероятности и приоритеты в CSP на время (DPhil). Оксфордский университет .
- ^ «Публикации Гэвина Лоу» . Оксфордский университет . Проверено 10 февраля 2018 г.
- ^ Лоу, Гэвин (ноябрь 1995 г.). «Атака на протокол аутентификации с открытым ключом Нидхэма-Шредера» . Письма об обработке информации . 56 (3): 131–136. CiteSeerX 10.1.1.394.6094 . дои : 10.1016/0020-0190(95)00144-2 . Проверено 17 апреля 2008 г.
- ^ «Криптография – это сложно» .
- ^ Компьютерная безопасность, ESORICS 96: 4-й Европейский симпозиум по исследованиям в области компьютерной безопасности, Рим, Италия, 25–27 сентября 1996 г.: материалы . Бертино, Элиза. Берлин: Шпрингер. 1996. ISBN 9783540617709 . OCLC 35364818 .
{{cite book}}: CS1 maint: другие ( ссылка ) - ^ «Каспер: компилятор для анализа протоколов безопасности» . Оксфордский университет . Проверено 10 февраля 2018 г.
- ^ Армандо, Алессандро; Лоу, Гэвин (27–28 марта 2010 г.). Армандо, Алессандро; Лоу, Гэвин (ред.). Автоматизированное обоснование анализа протоколов безопасности и проблемы теории безопасности . Конспекты лекций по информатике. Том. 6186. Спрингер. п. 185. Бибкод : 2011LNCS.6186.....А . дои : 10.1007/978-3-642-16074-5 . ISBN 978-3-642-16073-8 . S2CID 27746720 .
- ^ «Приложение (1) к Вестнику № 4857» (PDF) . Оксфордский университет . 22 октября 2008 г. с. 3. Архивировано из оригинала (PDF) 24 февраля 2018 года . Проверено 11 февраля 2018 г.
- ^ Jump up to: а б «Приложение (1) к Вестнику № 4931, том 141» (PDF) . Оксфордский университет . 27 октября 2010 г. с. 1.
- ^ «Объявлены победители премии за выдающиеся достижения в области преподавания» . Кафедра компьютерных наук Оксфордского университета . 5 июля 2010 г.
- ^ Элис Лайтон (22 октября 2010 г.). «НОВОСТИ Новая степень: Я обрабатываю, следовательно, я существую» . Оксфордский студент .
- ^ «Страница спелеологии Гэвина Лоу» . Проверено 10 февраля 2018 г.
| Международный | |
|---|---|
| Национальный | |
| академики | |
