Félicitations à Daniel De Almeida Braga qui a obtenu le 1er prix de thèse
Daniel De Almeida Braga a effectué sa thèse dans l'équipe de recherche EMSEC (qui a donné suite à Spicy).
Titre de la thèse : Cryptography in the Wild: The Security of Cryptographic Implementations
Directeurs de thèse : Pierre-Alain FOUQUE, Professeur Université de Rennes et Mohamed SABT Maître de conférences Université de Rennes.
Résumé : Cette thèse a pour objectif d’analyser les standards et implémentations de mécanismes cryptographiques, afin d’en assurer la sécurité. Dans l’ensemble, mes travaux ont mis en lumière et corrigé différentes vulnérabilités impactant des implémentations déployées à large échelle. Face à la récurrence de ces vulnérabilités, j'ai cherché à identifier l'origine de leur rémanence et à proposer des correctifs pérennes reposant sur des implémentations formellement vérifiées.
Attaque microarchitecturale, Password Authenticated Key Exchange (PAKE), Attaque par canaux auxiliaires, WPA3, constant-time
Félicitations à Xi Wang qui a obtenu le 2e prix de thèse
Xi Wang a effectué sa thèse dans l’équipe de recherche Virtus / Mimetic
Titre de la thèse : Robustness of visual SLAM techniques to light changing conditions
Directeurs de thèse : Marc CHRISTIE, Maître de Conférences Université de Rennes et Eric MARCHAND, Professeur Université de Rennes.
Résumé : SLAM (Simultaneous Localization And Mapping) est une technique utilisée dans diverses applications telles que la réalité augmentée, les voitures autonomes et le cinéma, qui aide à localiser l'appareil et à cartographier l'environnement simultanément. Cependant, il existe de nombreux défis qui peuvent affecter les performances de cette technique, ce qui rend difficile de l'utiliser avec succès dans toutes les circonstances. Ma thèse vise à améliorer la capacité des robots à utiliser SLAM en décomposant le système en différentes parties et en abordant chaque défi séparément, afin d'aider finalement les robots à mieux fonctionner dans différentes conditions et de rendre SLAM plus fiable.
SLAM, robotique, caractéristiques de l'image, suivi visuel, relocalisation.
La Fondation Rennes 1 « Progresser, Innover, Entreprendre » a pour objet de rapprocher l’Université de Rennes des entreprises pour favoriser l’innovation et le développement socio-économique. Elle décerne, chaque année, un 1er prix et un 2e prix de thèse pour chaque secteur de recherche de l’Université de Rennes aux travaux présentant les plus forts potentiels d'innovation et/ou de transfert de technologie.