Artificial Intelligence

Francesco Ciompi

Aims
At the end of the course students
can explain the common ways in which software security fails;
are able to identify security objectives of applications and identify likely places where they might fail;
can explain methods and technologies that can help in the development of secure software;
can apply some of these techniques in practice.
Concrete examples of attacks and countermeasures are often specific to a certain setting (a programming language and/or type of application); the aim provide enough insight to be able to assess problems and proposed solutions in other situations.


Content
Software is THE most important cause of computer security problems. This course is about the challenges in developing secure software and the technologies that can be used to improve software security, at the various stages in the software development life-cycle, and at various "levels", eg. specific to an individual application or at the level of the programming language.