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.