Formal methods for Security and Privacy

Ezio Bartocci
Ezio Bartocci
security in cyberphysicalsystems
Maria Christakis
Maria Christakis
smart contracts
security in machine learning
Laura Kovacs
Laura Kovacs
automated reasoning
formal methods
Matteo Maffei
Matteo Maffei
web security
blockchain technologies
formal methods
Georg Weissenbacher
Georg Weissenbacher
security testing