Cas Cremers
Holenderski badacz, którego narzędzia do formalnej analizy protokołów znajdują błędy w protokołach bezpieczeństwa, zanim zrobią to atakujący.
Cremers stworzył narzędzie Scyther podczas doktoratu w Eindhoven, a następnie współtworzył prover Tamarin w ETH Zurich. Oba pozwalają opisać protokół i atakującego kontrolującego sieć, a potem mechanicznie szukać przebiegów, w których sekrety wyciekają albo strony błędnie sądzą, z kim rozmawiają.
Okazało się to ważne także poza uczelnią. Jego grupa zamodelowała szkice TLS 1.3 w trakcie standaryzacji i znalazła błąd uwierzytelniania, poprawiony przed publikacją, a także współtworzyła pierwszą formalną analizę protokołu Signal. Po epizodzie w Oksfordzie kieruje grupą w CISPA w Saarbrücken. Za jego sprawy weryfikacja formalna protokołów przeszła od ciekawostki do czegoś, na co organizacje standaryzacyjne faktycznie czekają.