Course Presentation

Introduction to some notions and problems that concern the security of net applications and presentation of some formalisms and techniques to address them. The course material is mainly composed by a collection of journal and conference papers + slides.
The student's ability to explain correctly the main topics presented during the course at the board will be assessed and to read, understand and give a seminar on a research paper chosen with the teacher.
Courses like Modelli di Calcolo (MOD) and Semantica e teoria dei tipi (STT) can be useful to better appreciate technical details presented in the course.