Formal methods for Security and Privacy

5 Faculty members

Ezio Bartocci
Ezio Bartocci
security in cyberphysical systems
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

13 Researchers

Anagha Athavale
Ivana Bocevska
Robin Coutelier
Luca Di Stefano
Clemens Eisenhofer
Simon Jeanteur
Andreas Lackner
Andreas Lackner
Luca Marzari
Claudia Raffaelli
Markus Scherer
Johannes Schoisswohl
Johannes Schoisswohl
Alexander Stromberger
Lorenzo Veronese