Congratulations to Daniel De Almeida Braga who was awarded the 1st prize for his thesis
Daniel De Almeida Braga did his thesis in the EMSEC research team (which gave rise to Spicy).
Title of the thesis: Cryptography in the Wild: The Security of Cryptographic Implementations
Thesis supervisors: Pierre-Alain FOUQUE, Professor at the University of Rennes and Mohamed SABT Lecturer at the University of Rennes.
Abstract: The objective of this thesis is to analyse the standards and implementations of cryptographic mechanisms, in order to ensure their security. Overall, my work has highlighted and corrected various vulnerabilities impacting widely deployed implementations. Faced with the recurrence of these vulnerabilities, I sought to identify the origin of their persistence and to propose perennial patches based on formally verified implementations.
Microarchitectural attack, Password Authenticated Key Exchange (PAKE), Auxiliary channel attack, WPA3, constant-time
Congratulations to Xi Wang who was awarded the 2nd thesis prize
The purpose of the Rennes 1 Foundation "Progress, Innovate, Undertake" is to bring the University of Rennes closer to companies in order to promote innovation and socio-economic development. Each year, it awards a 1st prize and a 2nd prize for a thesis in each research sector of the University of Rennes to the work with the greatest potential for innovation and/or technology transfer.