Cas Cremers
Nederländsk forskare vars verktyg för formell protokollanalys hittar fel i säkerhetsprotokoll innan angriparna gör det.
Cremers byggde verktyget Scyther under doktorandtiden i Eindhoven och var sedan med och utvecklade Tamarin prover vid ETH Zürich. Båda låter en beskriva ett protokoll och en angripare som kontrollerar nätet, och sedan maskinellt söka efter körningar där hemligheter läcker eller parterna luras om vem de pratar med.
Det blev mer än akademi. Hans grupp modellerade utkasten till TLS 1.3 under standardiseringen och hittade en autentiseringsbrist som rättades innan den släpptes, och var med i den första formella analysen av Signal-protokollet. Efter tjänster i Oxford leder han en forskargrupp vid CISPA i Saarbrücken. Formell verifiering av protokoll gick under hans tid från kuriositet till något standardiseringsgrupper faktiskt väntar på.