Cas Cremers
Investigador neerlandés cuyas herramientas de análisis formal encuentran fallos en protocolos de seguridad antes que los atacantes.
Cremers creó la herramienta Scyther durante su doctorado en Eindhoven y después codesarrolló el demostrador Tamarin en la ETH de Zúrich. Ambas permiten describir un protocolo y un atacante que controla la red, y buscar de forma mecánica ejecuciones en las que se filtran secretos o las partes se engañan sobre con quién hablan.
La cosa trascendió lo académico. Su grupo modeló los borradores de TLS 1.3 durante la estandarización y encontró un fallo de autenticación que se corrigió antes de la versión final, y participó en el primer análisis formal del protocolo Signal. Tras pasar por Oxford, dirige un grupo en el CISPA de Saarbrücken. Con él, la verificación formal de protocolos pasó de curiosidad a algo que los organismos de estandarización realmente esperan.