Кас Кремерс
 | В этой статье есть несколько проблем. Помогите улучшить ее или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалять эти сообщения )
|
Кас Кремерс | |
|---|---|
| Рожденный | (1974-06-16) 16 июня 1974 г. [1] Гелин [2] |
| Национальность | Голландский |
| Альма-матер | Эйндховенский технический университет |
| Известный | Скитер, Тамарин |
| Научная карьера | |
| Поля | Компьютерные науки , Компьютерная безопасность |
| Учреждения | CISPA Центр информационной безопасности имени Гельмгольца |
| Тезис | Scyther - Семантика и проверка протоколов безопасности (2006) |
| научный руководитель | Sjouke Mauw |
| Другие научные консультанты | Эрик де Винк |
Казимьер Джозеф Францискус «Кас» Кремерс (родился в 1974 году) — учёный-компьютерщик и преподаватель Центра информационной безопасности имени Гельмгольца CISPA в Саарбрюккене, Германия. [3]
Карьера
Кремерс получил докторскую степень в Технологическом университете Эйндховена в 2006 году под руководством Сьюке Мау и Эрика де Винка. С 2006 по 2013 год он работал в группе информационной безопасности в ETH Zurich , Швейцария, до прихода в Оксфордский университет в 2013 году. В 2015 году он стал профессором информационной безопасности. [4] Его исследования сосредоточены на информационной безопасности , в частности на формальном анализе протоколов безопасности. Эта работа варьируется от разработки математических основ для анализа протоколов до разработки инструментов анализа, в частности инструментов Scyther и Tamarin. Недавно его исследования расширились в таких направлениях, как стандартизация протоколов, включая улучшение стандарта ISO/IEC 9798, и прикладная криптография, что привело к разработке новых требований и протоколов безопасности. Его совместная работа с Марко Хорватом, Сэмом Скоттом и Тилой ван дер Мерве привела к немаловажному изменению спецификации TLS 1.3. [5] [6]
В 2018 году Кремерс перешел из Оксфордского университета в Центр информационной безопасности имени Гельмгольца в Саарбрюккене. [3]
Кремерс ранее работал в сфере разработки компьютерных игр для MSX , сначала в Sigma Group, а затем основал собственную группу Parallax; ему приписывают работу над девятью различными играми и многими другими демоверсиями, в том числе в качестве программиста, дизайнера, композитора и писателя. [7] Он дал интервью блогу "Distrito Entebras" об истории своей карьеры в сфере разработки игр для MSX. [8]
Публикации
Публикации Кремерса охватывают безопасность , криптографию , стандарты ISO , автоматизированную проверку протоколов безопасности и формальные методы . [9] Его диссертация называлась «Scyther — семантика и проверка протоколов безопасности», и ее кураторами были Сьюк Маув и Эрик де Винк. [9] Сьюк Маув также опубликовала их книгу «Операционная семантика и проверка протоколов безопасности» .
Ссылки
- ^ Cas Cremers (@CasCremers), Twitter, дата обращения: январь 2018 г.
- ^ Кандидатская диссертация, Эйндховен 2006 г.
- ^ ab "Проф. Кас Кремерс: Центр информационной безопасности имени Гельмгольца CISPA" . Получено 30 июля 2019 г. .
- ^ "Три члена кафедры удостоены звания профессора в рамках процесса признания университетских заслуг" . Получено 31 июля 2015 г. .
- ^ "Протокол Transport Layer Security (TLS) версии 1.3: Приложение G. Участники" . Получено 24 сентября 2017 г.
- ^ "Автоматизированный анализ TLS 1.3" . Получено 24 сентября 2017 г.
- ^ "Кас Кремерс — MSX Wiki" . Проверено 28 января 2015 г.
- ^ «Интервью с Касом Кремерсом, основателем Parallax MSX Software и профессором информационной безопасности Оксфордского университета». 27 августа 2017 г. Получено 24 сентября 2017 г.
- ^ ab "Публикации профессора доктора Каса Кремерса:Оксфордский университет" . Получено 28 января 2015 г.
Внешние ссылки
- Кас Дж. Ф. Кремерс на библиографическом сервере DBLP
- Персональная страница Каса Кремерса
- Публикации Кэса Кремерса
- CISPA Центр информационной безопасности имени Гельмгольца
- Видео Blade Lords (MSX)
