du au

Comment un logiciel peut-il résister aux attaques et à l'utilisation malveillante ? Le cours abordera cette problématique de sécurité du logiciel sous l'angle des langages de programmation et de leurs techniques de typage, d'analyse statique et de vérification déductive. Nous essaierons de caractériser la contribution de ces approches à la sécurité informatique, ainsi que leurs limitations.

Programme