Jannik Dreier, maître de conférences à l’Université de Lorraine, enseignant à TELECOM Nancy et chercheur au Loria (Laboratoire lorrain de recherche en informatique et ses applications – CNRS – Université de Lorraine) est lauréat du Prix Levchin 2026, aux côtés de David Basin (ETH Zurich), Cas Cremers (CISPA) et Ralf Sasse (ETH Zurich).
Une reconnaissance internationale
Le Prix Levchin (« for Real-World Cryptography ») distingue 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 2026 à Taipei, lors du Real-World Crypto Symposium, l’une des conférences majeures du domaine qui réunit chaque année environ 600 professionnels académiques et industriels du domaine.
Des avancées scientifiques pour la sécurité des protocoles numériques
Ce prix prestigieux récompense les quatre chercheurs pour leurs travaux sur Tamarin Prover, un outil de vérification des protocoles cryptographiques, et pour son application aux protocoles cryptographiques industriels et du monde réel.
Nous sommes très honorés d’avoir reçu le prix Levchin. C’est une reconnaissance qui couronne plus d’une dizaine d’années de développement et d’amélioration de l’outil, et qui souligne l’impact concret et tangible de Tamarin dans la vraie vie, bien au-delà de la recherche fondamentale.
L’année dernière, nous avons également publié un livre sur Tamarin, conçu comme un guide pratique pour les utilisateurs. Nous espérons qu’il contribuera à la démocratisation des techniques de vérification.
Jannik Dreier
Open source librement accessible, Tamarin Prover est aujourd’hui utilisé dans le monde entier, notamment par des entreprises telles qu’Apple, Google, Amazon, Mozilla, Huawei ou encore Ericsson, pour analyser et sécuriser les protocoles qu’elles conçoivent.
Une recherche qui enrichit la formation des élèves ingénieurs
À TELECOM Nancy, les élèves-ingénieurs bénéficient directement de ces avancées scientifiques.
J’utilise Tamarin dans mon cours sur la sécurité des protocoles cryptographiques à TELECOM Nancy. J’accompagne ce cours d’un championnat des protocoles, un événement où les étudiants s’entrainent développer des protocoles, à les analyser et à détecter les failles dans les protocoles concurrents, manuellement et en utilisant Tamarin.
Jannik Dreier
Cette approche permet aux élèves de se confronter à des problématiques concrètes de sécurité informatique, tout en découvrant des outils et des méthodes développés par les chercheurs pour sécuriser les infrastructures numériques.
À travers cette distinction internationale, TELECOM Nancy confirme l’excellence de ses enseignants-chercheurs et la forte articulation entre recherche de haut niveau et formation d’ingénieurs dans le domaine de la cybersécurité.