Hi, I’m Florian Stosse, just another information security engineer !
I currently work at Safran Data Systems (previously Zodiac Data Systems), in the Space & Communications business unit. I focus on hardening and securing our embedded Windows 7 and 10 platforms, among other cool things :)
Previously, 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, but hey, that’s life !
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) !
M.Sc. in Information Security, 2015/2018
ESIEA Paris, France
Associate's degree in Computer Science, 2012/2014
University of Lorraine, Metz, France