Blockchains

6 Faculty members

Zeta Avarikioti

Coordinator

blockchain technologies

Maria Christakis
smart contracts
security in machine learning

Georg Fuchsbauer
asymmetric cryptography

Laura Kovacs
automated reasoning
formal methods

Matteo Maffei

formal verification, web security, scalability and interoperability of blockchains

Dominique Schröder
privacy enhancing technologies

Ioannis Alexopoulos

Prabal Das

Paul Claus Gerhart

Pim Keer

Andrea Pelosi

Christos Stefo

Yuheng Wang

Kyriaki Zioga