Formal methods for Security and Privacy
Matteo Maffei
co-director
Informatics
web security
blockchain technologies
formal methods
Laura Kovacs
Informatics
automated reasoning
formal methods
Maria Christakis
Informatics
smart contracts
security in machine learning
Ezio Bartocci
Informatics
security in cyberphysicalsystems
Georg Weissenbacher
Informatics
security testing
Georgia Avarikioti
Informatics
blockchains technologies
Daniel Christopher Arp
Informatics
system security
machine learning
malware detection