Hubert Comon-Lundh a reçu le LICS Test-of-Time Award 2023 pour l'article Intruder Deductions, Constraint Solving and Insecurity Decision in Presence of Exclusive Or (ArXiv preprint) cosigné avec Vitaly Shmatikov (SRI International). Le prix a été partagé avec l'article connexe An NP Decision Procedure for Protocol Insecurity with XOR de Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch et Mathieu Turuani.
Les protocoles cryptographiques s'appuient sur des primitives cryptographiques pour atteindre des objectifs tels que la confidentialité et l'authenticité des données en présence d'un attaquant. Leur utilisation dans des applications importantes telles que les communications sur l'internet ou les paiements par carte de crédit nécessite une vérification automatisée de leur sécurité. Les deux articles ont fait des progrès importants sur les aspects algorithmiques de la vérification des protocoles avec des opérateurs supplémentaires, y compris le XOR qui est largement utilisé dans les applications pratiques.
Plus précisément, ces articles établissent la décidabilité de l'insécurité des protocoles cryptographiques avec XOR et d'autres théories équationnelles. Chevalier et al. prouvent l'appartenance à NP lorsqu'ils se limitent à XOR, tandis que Comon et Shmatikov prouvent la décidabilité dans un cadre plus large. Outre la résolution définitive de la question de la complexité pour ces cas, la valeur durable de cette ligne de travail est démontrée par des outils de vérification matures tels que ProVerif, Tamarin, Maude-NPA et CPSA.— Citation du prix
La conférence LICS — Logic in Computer Science est le plus prestigieux forum annuel sur des sujets théoriques et pratiques en informatique liés à la logique au sens large. Le prix LICS Test-of-Time Award récompense un petit nombre d'articles tirés des actes du LICS des 20 dernières années (c'est-à-dire que l'article en question date du LICS 2002 et a été pris en considération cette année) qui ont le mieux résisté à "l'épreuve du temps”. En sélectionnant ces articles, le comité d'attribution tient compte de l'influence qu'ils ont eue depuis leur publication ; en raison de la nature fondamentale des travaux de la LICS, l'impact n'est souvent pas ressenti immédiatement, d'où la perspective de 20 ans.
Le prix a été remis lors de la conférence LICS 2023 tenue à Boston, USA.
Photo credit: Hubert Comon-Lundh — Dietmar Berwanger / CC BY-SA 4.0