Tamarin Prover, lauréat du prix Levchin
Publié le
Crédits : PEPR Cybersécurité
Les chercheurs du projet SVP, lauréats du Prix Levchin 2026 pour le Tamarin Prover.
Le Prix Levchin (« for Real-World Cryptography « ) honore des innovations à fort impact dans la cryptographie et son utilisation dans des systèmes du monde réel. Il leur a été remis le 9 mars lors de Real-World Crypto Symposium à Taipei, conférence internationale majeure en cryptographie appliquée réunissant chaque année environ 600 professionnels académiques et industriels du domaine.
Ce prix prestigieux récompense les quatre chercheurs pour leurs travaux sur et le développement du Tamarin Prover, un outil de vérification des protocoles cryptographiques, et son application aux protocoles cryptographiques industriels et du monde réel.
Au cours de la dernière décennie, les recherches sur le Tamarin Prover ont considérablement fait progresser l’état de l’art dans la vérification des protocoles cryptographiques. Elles ont permis de passer à l’échelle industrielle et d’atteindre un niveau de précision sans précédent dans l’analyse assistée par ordinateur de ces protocoles.
Tamarin offre à la fois une vérification automatique et une recherche de preuves guidée par l’utilisateur, à la manière des assistants de preuve interactifs. Tamarin peut être utilisé pour découvrir de nouvelles attaques, aider à concevoir des améliorations et fournir des preuves de correction.
Tamarin a été utilisé pour analyser une grande variété de protocoles comme TLS 1.3, 5G-AKA, EMV, iMessage PQ3 et d’autres standards industriels. L’outil Tamarin est open source, librement accessible, et compte une base d’utilisateurs mondiale, tant dans le milieu académique qu’industriel : De nombreuses entreprises utilisent désormais Tamarin directement pour les protocoles qu’elles développent ou normalisent, par exemple chez Apple, Amazon, Cloudflare, Google, Mozilla, Ericsson, Huawei, Dfinity et SRI.
Autres Actualités
