Cybersecurity Guidelines for Software Development & Assessment

Jun 9, 2017·
Florian Stosse
Florian Stosse
,
Franck Sadmi
,
Florent Kirchner
· 1 min read
Abstract
These guidelines describe a list of objectives to develop, verify, and operate a software system that satisfies an intended level of cybersecurity. The focus is on the use of software support tools to satisfy software system development and assessment objectives, especially for the analysis of the program structure and code. It was co-written by Bureau Veritas SA and CEA-List, an institute of CEA Tech.
Type
Publication
Bureau Veritas, BV-SW-200
publication

These guidelines lay out key security practices for the design, verification, and operation of software systems requiring certified levels of security. A core focus of these guidelines is the leverage of automated software support tools, such as static analysis, for structural and source code validation (a whitebox approach to security assessment).

Co-written by Bureau Veritas SA and CEA-List, an institute of CEA Tech.

Software Security Code Analysis Security Assessment Static Analysis Guidelines
Florian Stosse
Authors
Florian Stosse
Cybersecurity engineer

About Me

Hi, I’m Florian Stosse, just another information security engineer !

Current work

I currently work at the European Space Agency, as a cybersecurity engineer for the Galileo programme, specifically for the Galileo Mission Segment (GMS).

Experience summary

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 !

Education summary

I graduated with a M.Sc in Computer Science (major in cybersecurity, minor in embedded systems) 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:

  • software security (e.g. static analysis, SDLC),
  • connected/autonomous vehicles security (e.g. ISO 21434 for automotive security engineering),
  • and industrial systems security (e.g. ISO 62443 certification).

Do not hesitate to get in touch if you want to chat about these topics (or anything else, really) !