Lesly-Ann DANIEL Doctorante
#ÉTUDIANTS-DOCTORANTS-POSTDOCTORANTS
Prix Jeunes Talents France, L’Oréal-UNESCO Pour les Femmes et la Science
De plus en plus souvent les données sensibles sont confiées à des logiciels (nos transactions bancaires, nos données de santé, etc.). Il est donc crucial de s’assurer de la sécurité de ces applications. Or, il existe un type d’attaques, appelées « attaques temporelles », qui permet à un attaquant d’extraire des données sensibles manipulées par un programme en mesurant son temps d’exécution. La thèse de Lesly-Ann porte sur la vérification logicielle pour la sécurité. En particulier, elle s’intéresse à la vérification des logiciels cryptographiques contre les attaques temporelles. Elle a développé un outil, Binsec/Rel, qui lui a permis de vérifier des implémentations cryptographiques contre ce type d’attaques et de trouver de nouvelles vulnérabilités.