Hot topics in language-based security seminar series

Hot topics in language-based security is a series of seminars that will be held by well-known international speakers, organised by the PhD in Computer Science of University of Pisa in collaboration with IMT Lucca, as part of their Research Topics in Computer Science series.
The first part of these seminars, mainly devoted to secure compilation and isolation mechanisms, will also be offered to MS students within the course "Laboratory for innovative software".
To get the credits for this seminar series, each PhD student must attend 80% of the seminars.
The seminars address methods and techniques that foster the security of applications and systems from their design and implementation, by focusing on formal methods and the features and properties of programming languages.


Organizators