Cas Cremers
Nederlandse onderzoeker wiens hulpmiddelen voor formele protocolanalyse fouten in beveiligingsprotocollen vinden voordat aanvallers dat doen.
Cremers bouwde de tool Scyther tijdens zijn promotie in Eindhoven en ontwikkelde later mee aan de Tamarin-prover bij ETH Zürich. Met beide beschrijft men een protocol en een aanvaller die het netwerk beheerst, waarna machinaal wordt gezocht naar verlopen waarin geheimen lekken of partijen zich vergissen over met wie ze praten.
Dat bleek ook buiten de universiteit van belang. Zijn groep modelleerde de conceptversies van TLS 1.3 tijdens de standaardisatie en vond een authenticatiefout die nog vóór de release werd verholpen; ook schreef hij mee aan de eerste formele analyse van het Signal-protocol. Na een periode in Oxford leidt hij nu een groep bij CISPA in Saarbrücken. Onder zijn handen groeide formele verificatie van protocollen van curiositeit uit tot iets waar standaardisatieorganen daadwerkelijk op wachten.