Xavier Leroy
Collège de France
Science du logiciel
Année 2021-2022
Sécurité du logiciel : quel rôle pour les langages de programmation ?

Comment rendre un logiciel résistant non seulement aux « bugs » et aux pannes involontaires, mais aussi aux attaques et à l'utilisation malveillante ? C'est le problème général de la sécurité du logiciel, que nous introduirons dans ce premier cours. Nous étudierons ensuite quelques attaques récentes et les vulnérabilités logicielles qu'elles exploitent.