Florian Stosse

Information security engineer

I currently work at
Safran Data Systems (a Safran Electronics & Defense subsidiary), 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).