Blockchains

Zeta Avarikioti
Zeta Avarikioti

Coordinator

blockchain technologies
Maria Christakis
Maria Christakis
smart contracts
security in machine learning
Georg Fuchsbauer
Georg Fuchsbauer
asymmetric cryptography
Laura Kovacs
Laura Kovacs
automated reasoning
formal methods
Matteo Maffei
Matteo Maffei

formal verification, web security, scalability and interoperability of blockchains

Dominique Schröder
Dominique Schröder
privacy enhancing technologies