Développement Logiciel sécurité

Objectives

Learn the following concepts:

    Static analysis
    Formal proofs for design of secure systems by construction

Description

The objective of this course is to present a set of best practices for developing software in a secure manner. These best practices are illustrated with the OpenBSD system, which is known to have adopted rigorous development methods. A presentation of formal methods for vulnerability detection will also be given. will also be presented.

At the end of this course, the student should be able to understand the stakes of secure software development, to know the main methods and to be able to propose the use of these methods according to the software being developed, its function and the context in which it is used.