Hi, I’m Florian Stosse, just another information security engineer !
I currently work at the European Space Agency, as a cybersecurity engineer for the Galileo programme, specifically for the Galileo Mission Segment (GMS).
I previously worked at Safran Data Systems, in the Space & Communications business unit. I focused on hardening and securing our embedded Windows 7 and 10/11 platforms (Cortex family of TT&C and high data rate receivers), among other cool things :)
Before that, 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).
My thesis was under the supervision of Julien Signoles (CEA), and my advisors were Patricia Mouy (ANSSI) and Florent Kirchner (CEA).
Unfortunately, we had to put a stop to the thesis, but hey, that’s life !
I graduated with a M.Sc in Information Security from ESIEA Paris (a top French engineering school, part of the “Grandes écoles”) in August 2018. During my graduate studies, I was an apprentice at Bureau Veritas’ R&D center in La Défense, Paris.
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
ESIEA, Paris, France
Associate's degree in Computer Science
University of Lorraine, Metz, France
Graduated summa cum laude, with jury honors.
Thesis subject: “Autonomous vehicles security”
Security engineering program certified by ANSSI (National Cybersecurity Agency of France): https://cyber.gouv.fr/formations/ingenieur-diplome-de-lesiea-majeure-cybersecurite-en-formation-initiale-sous-statut