Кас Кремерс
Нидерландский исследователь, чьи инструменты формального анализа находят изъяны в протоколах безопасности раньше атакующих.
Кремерс создал инструмент Scyther во время докторской в Эйндховене, а затем стал соразработчиком средства доказательства Tamarin в ETH Цюриха. Оба позволяют описать протокол и атакующего, контролирующего сеть, а затем автоматически искать сценарии, в которых секреты утекают или стороны обманываются относительно того, с кем говорят.
Это оказалось важным и за пределами академии. Его группа моделировала черновики TLS 1.3 во время стандартизации и нашла изъян аутентификации, исправленный до релиза, а также участвовала в первом формальном анализе протокола Signal. После работы в Оксфорде он руководит группой в CISPA в Саарбрюккене. При нём формальная верификация протоколов из любопытной экзотики стала тем, чего ждут организации по стандартизации.