stringtranslate.com

Гэвин Лоу (специалист по информатике)

Гэвин Лоу — британский учёный. Он профессор компьютерных наук [3] и научный сотрудник колледжа Св. Екатерины в Оксфорде , [1] профессор Оксфордского университета [ 3] и президент старшей общей комнаты колледжа Св. Екатерины в Оксфорде. [1] Его исследовательские интересы включают компьютерную безопасность , для которой он разработал инструмент анализа криптографических протоколов Casper, и параллелизм .

Образование

Лоу изучал математику в колледже Святого Иоанна в Оксфорде , [4] затем получил степень магистра в области вычислений в Оксфордском университете . [1] Он получил степень доктора философии в колледже Святого Хью в Оксфорде , [5] написав диссертацию под названием «Вероятности и приоритеты в синхронизированных 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]

Ссылки

  1. ^ abcd "Gavin lowe". St Catherine's College, Oxford . Получено 10 февраля 2018 г.
  2. ^ "Ex-Staff - University of Leicester". University of Leicester . Получено 10 февраля 2018 г.
  3. ^ abc "Gavin Lowe". Department of Computer Science, University of Oxford . Получено 10 февраля 2018 г.
  4. ^ ab "История клуба OU Cave". www.oucc.org.uk . Получено 11 февраля 2018 г. .
  5. ^ ab Lowe, Gavin (1994). Вероятности и приоритеты в синхронизированных CSP (DPhil). Оксфордский университет .
  6. ^ "Публикации Гэвина Лоу". Оксфордский университет . Получено 10 февраля 2018 г.
  7. ^ Лоу, Гэвин (ноябрь 1995 г.). «Атака на протокол аутентификации открытого ключа Нидхэма-Шредера». Information Processing Letters . 56 (3): 131–136. CiteSeerX 10.1.1.394.6094 . doi :10.1016/0020-0190(95)00144-2 . Получено 17 апреля 2008 г. . 
  8. ^ «Криптография — это сложно».
  9. ^ Компьютерная безопасность, ESORICS 96: 4-й Европейский симпозиум по исследованиям в области компьютерной безопасности, Рим, Италия, 25–27 сентября 1996 г.: труды . Бертино, Элиза. Берлин: Springer. 1996. ISBN 9783540617709. OCLC  35364818.{{cite book}}: CS1 maint: другие ( ссылка )
  10. ^ "Casper: Компилятор для анализа протоколов безопасности". Оксфордский университет . Получено 10 февраля 2018 г.
  11. ^ Армандо, Алессандро; Лоу, Гэвин (27–28 марта 2010 г.). Армандо, Алессандро; Лоу, Гэвин (ред.). Автоматизированное обоснование для анализа протоколов безопасности и проблемы в теории безопасности . Конспект лекций по информатике. Том 6186. Springer. стр. 185. Bibcode : 2011LNCS.6186.....A. doi : 10.1007/978-3-642-16074-5. ISBN 978-3-642-16073-8. S2CID  27746720.
  12. ^ "Приложение (1) к Gazette No. 4857" (PDF) . Оксфордский университет . 22 октября 2008 г. стр. 3. Архивировано из оригинала (PDF) 24 февраля 2018 г. . Получено 11 февраля 2018 г. .
  13. ^ ab "Приложение (1) к Gazette No. 4931, Vol 141" (PDF) . Оксфордский университет . 27 октября 2010 г. стр. 1.
  14. ^ "Объявлены победители конкурса Teaching Excellence Awards". Кафедра компьютерных наук Оксфордского университета . 5 июля 2010 г.
  15. ↑ Элис Лайтон (22 октября 2010 г.). «НОВОСТИ Новая степень: Я обрабатываю, следовательно, я существую». Студент Оксфорда .
  16. ^ "Страница спелеологии Гэвина Лоу" . Получено 10 февраля 2018 г. .