About me

I was a PhD student in Verimag, under the supervision of David Monniaux and Claire Maïza from 2016 to 2019. I worked on static analysis of software, hardware caches and side channels attacks.
Currently, I am a postdoc in the Real-Time and Embedded Systems Lab in Saarbrücken (Germany), in the team of Prof. Reineke.

Thesis

Thesis manuscript: Static Analysis of Least Recently Used Caches: Complexity, Optimal Analysis, and Applications to Worst-Case Execution Time and Security.
I defended my thesis on October 8, 2019. The slides are available here: slides

Publications

Conference papers
Journal paper

Tools

I developed several Otawa plugins related to cache analysis during my thesis. The git repository is available here: Cache Analysis plugin

Contact

Valentin.Touzeau@univ-grenoble-alpes.fr

Verimag
Bâtiment IMAG
Université Grenoble Alpes
700, avenue centrale
38401 Saint Martin d’Hères
FRANCE