Software security

Objectifs

At the end of this module, the student will have understood and be able to explain (main concepts):

- The different types of software vulnerabilities that are frequently encountered, especially in programs written in C language;
- The main memories protections to protect software from these types of vulnerabilities;
- The theory related to worms and viruses, especially the algorithms used by these malware to infect computer systems and spread on the internet; the protection against these malicious software and the methods employed by antivirus to detect worms and viruses;
- Best practices for developing software securely.
- Formal methods for security

The student will be able to:

- Develop software taking into account the risks associated with software vulnerabilities;
- Use formal methods to detect software vulnerabilities;
- Appreciate the challenges of viral protection, describe the different types of computer infection, viral and analyze the technical and antiviral éagir in case of infection.

Pré-requis

Good programming skills in C and assembly language;
- A minimum of knowledge about the internals of the OS;
- Bases in algebra and the use of automata theory.

Évaluation

L’évaluation des acquis d’apprentissage est réalisée en continu tout le long du semestre. En fonction des enseignements, elle peut prendre différentes formes : examen écrit, oral, compte-rendu, rapport écrit, évaluation par les pairs…