Pierrick
Philippe
Started in Oct. 2022.
Funded by the DGA.
PhD Topic
The goal of Pierrick’s thesis is to investigate the use of secret values in programs through static analysis. In particular, Pierrick studies the problem of taining secret values and its different applications to automatically detect vulnerabilities in cryptographic implementations.