Résumé
Le premier cours a introduit la problématique de la sécurité du logiciel et montré en quoi elle va au-delà de la problématique de la sûreté de fonctionnement : le logiciel doit résister non seulement aux « bugs » et aux pannes accidentelles (sûreté), mais aussi aux attaques et à l’utilisation malveillante (sécurité). Nous avons ensuite étudié trois attaques récentes et représentatives de la diversité des failles de sécurité du logiciel : l’attaque Heartbleed sur les serveurs web utilisant la bibliothèque OpenSSL, à base d’accès hors bornes dans des tampons mémoire ; l’attaque Log4Shell sur la bibliothèque de journalisation Log4j, qui injecte du code arbitraire dans des données contrôlées par l’attaquant ; l’attaque sur le smart contract DAO de la cryptomonnaie Ethereum, exploitant la vulnérabilité de ce contrat vis-à-vis d’opérations ré-entrantes.
