Scholar
Matteo Maffei
Google Scholar ID: WWM2IcAAAAAJ
Full Professor at TU Wien, Co-Director TU Wien Cybersecurity Center
Formal Methods
Security
Blockchains
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
3,588
H-index
29
i10-index
49
Publications
20
Co-authors
22
list available
Publications
7 items
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean
2026
Cited
0
Differential Zonotopes for Verifying Global Robustness of DNNs
2026
Cited
0
Ark: Offchain Transaction Batching in Bitcoin
2026
Cited
0
Calyx: Privacy-Preserving Multi-Token Optimistic-Rollup Protocol
2025
Cited
0
Wanilla: Sound Noninterference Analysis for WebAssembly
2025
Cited
0
A Composable Game-Theoretic Framework for Blockchains
2025
Cited
0
A Security Framework for General Blockchain Layer 2 Protocols
2025
Cited
0
Co-authors
11 total
Michael Backes
Chairman and Founding Director of the CISPA Helmholtz Center for Information Security
Pedro Moreno-Sanchez
Assistant Research Professor, IMDEA Software Institute
Aniket Kate
Purdue University / Supra Research
Riccardo Focardi
DAIS, Ca' Foscari University, Venice
Stefano Calzavara
Università Ca' Foscari Venezia
Michele Bugliesi
Professor of Computer Science, Universita' Ca' Foscari Venezia
Cătălin Hrițcu
Tenured Faculty at MPI-SP
Dominique Unruh
University of Tartu
