Séance de cours
Vulnérabilités en matière de sécurité logicielle : études de cas
Description
Cette séance de cours présente des études de cas sur les vulnérabilités de sécurité des logiciels, y compris un bug SMS Android, l'attaque de Trojan Flashback sur les systèmes Apple, et un bug Gmail effaçant les comptes. Il traite également des risques posés par l'application Samsung Cell Path iOS, le crash Skype, le bug Hotmail et le bug Internet Explorer. L'instructeur explique les défis de la mise à l'essai de grandes bases de code et l'importance de prouver l'exactitude dans le développement logiciel à l'aide d'exemples comme seL4, un programme avec 24 lignes de code et une preuve vérifiable par machine.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.