Hi, I’m Florian Stosse, just another information security engineer !
In October 2018, I started a PhD thesis at CEA-List and ANSSI to work on formal methods applied to software security. More specifically, I was working on software defenses and hardening against hardware vulnerabilities, such as Spectre and Meltdown, using sound static analysis tools (Frama-C in particular).
Unfortunately, we had to put a stop to the thesis, and I’m now actively looking for a job ;)
I worked in the RAMS department, and my main areas of work were:
Do not hesitate to get in touch if you want to chat about these topics (or anything else, really) !
Master of Science, computer security, 2015 - 2018
ESIEA Paris, France
Associate's degree, computer science, 2012 - 2014
University of Lorraine, Metz, France