Cas Cremers
Pesquisador holandês cujas ferramentas de análise formal de protocolos encontram falhas em protocolos de segurança antes dos atacantes.
Cremers criou a ferramenta Scyther durante o doutorado em Eindhoven e depois passou a co-desenvolver o provador Tamarin na ETH Zurique. Ambas permitem descrever um protocolo e um atacante que controla a rede, e então buscar mecanicamente execuções em que segredos vazam ou em que uma parte é enganada sobre quem está do outro lado.
Isso acabou importando fora da academia. Seu grupo modelou os rascunhos do TLS 1.3 durante a padronização e encontrou uma falha de autenticação que foi corrigida antes do lançamento, além de co-assinar a primeira análise formal do protocolo Signal. Depois de uma passagem por Oxford, hoje ele lidera um grupo no CISPA, em Saarbrücken. Sob a sua influência, a verificação formal de protocolos deixou de ser curiosidade e virou algo que os órgãos de padronização realmente esperam.