43 / 125
L
auréat de l’année 2016
PRIx INRIA ACADéMIE DES SCIENCES
Du JEuNE CHERCHEuR
2013
Inria et l’Académie des sciences
s’associent désormais pour distinguer
les futurs lauréats des trois catégories
de prix Inria scientifiques : le Grand prix, le prix Jeune
Chercheur et le prix de l’Innovation.
Ce partenariat donne un nouvel élan au dispositif des Prix
Inria en renforçant leur vocation première : promouvoir les
contributions et succès de celles et ceux qui font avancer les
sciences informatiques et mathématiques, qui participent
ainsi au développement du monde numérique.
En qualité de partenaire industriel du prix de l’innovation,
Dassault systèmes, est évidemment associé à la sélection du
lauréat de ce prix.
Les 3 prix d’un montant total de 65 000€ récompensent 3
lauréats dont le Prix Inria - Académie des sciences du Jeune
chercheur (20 000€), décerné conjointement par l’Académie
des sciences et INRIA, récompense un scientifique de moins
de quarante ans, de toute nationalité et affiliation, exerçant
son activité dans le cadre d’un établissement français et ayant
contribué de manière majeure par ses activités de recherche,
de transfert ou d’innovation au champ des sciences
informatiques et mathématiques.
Le prix est décerné à Karthikeyan Bhargavan. Une de ses applications phares était la
vérification d’implantations de protocoles cryptographiques, et notamment TLS, qui est
certainement l’outil cryptographique le plus utilisé de par le monde. Dans ce cadre, il est à
l’origine de résultats remarquables sur la sécurité des services Web. On lui doit le
développement des outils qui permettent à la fois de prouver la validité des implantations des
protocoles cryptographiques, mais aussi de détecter des failles, et ce, sans avoir à faire des
batteries de tests, longues, fastidieuses et de toutes façons inefficaces, car elles ne peuvent être
exhaustives.
Ses contributions à la détection de nombreuses failles (ou CVE – Common Vulnerabilities and
Exposures), notamment autour de SSL/TLS, ont conduit à des mises à jour de tous les
navigateurs et librairies cryptographiques.
Karthikeyan Bhargavan est ainsi devenu un acteur incontournable de la conception de la
nouvelle version TLS 1.3. Avec un impact exceptionnel, ses contributions couvrent à la fois la
recherche de failles et la garantie d’absence de failles (l’implantation respecte toutes les
spécifications).
Karthikeyan bHARGAVAN
Directeur de recherche à l’Institut national de recherche en informatique et
en automatique
PRIx INRIA - ACADéMIE DES SCIENCES