Séance de cours
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.