Un logiciel de preuves pour assurer la protection des données personnelles
Pour gérer ses comptes en banque ou encore prendre un rendez-vous médical, aujourd'hui, difficile de se passer des smartphones, ces téléphones mobiles qui proposent des applications bien au-delà de la simple télécommunication. Néanmoins, les données personnelles et privées générées par ces usages soulèvent de nombreux questionnements de recherche quant à leur protection. Charlie Jacomme s'est intéressé à ce problème durant sa thèse, et plus particulièrement aux preuves de protocoles cryptographiques pour assurer une meilleure protection des données. Ses travaux ont été distingués par le prix de thèse du Groupement de Recherche (GdR) Sécurité Informatique en 2021.
Ancien doctorant au Laboratoire Méthodes Formelles (LMF - CNRS/Université Paris-Saclay/ENS Paris-Saclay) et au Laboratoire lorrain de recherche en informatique et ses applications (Loria - CNRS/Université de Lorraine/Inria), Charlie Jacomme reçoit le prix de thèse du GdR Sécurité Informatique en 2021 pour ses travaux de recherche. Il a réalisé sa thèse, intitulée « Preuves de protocoles cryptographiques : méthodes symboliques et attaquants puissants », sous la direction d'Hubert Comon et Steve Kremer. Il est désormais en post-doctorat au Center for IT-Security, Privacy and Accountability (CISPA) en Allemagne et poursuit ses travaux en cybersécurité qui visent à améliorer les garanties de sécurité ou de protection de la vie privée des systèmes de communications.