Formal methods for Security and Privacy
Matteo Maffei
co-director
Informatics
Laura Kovacs
Informatics
Maria Christakis
Informatics
Ezio Bartocci
Informatics
Georg Weissenbacher
Informatics
Georgia Avarikioti
Informatics