Scholar
Roberto Zunino
Google Scholar ID: ojru0uEAAAAJ
Università degli Studi di Trento
Computer Science
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,823
H-index
24
i10-index
49
Publications
20
Co-authors
0
Publications
3 items
A formal framework for the economic security of DeFi compositions
2026
Cited
0
Certifying optimal MEV strategies with Lean
2025
Cited
0
A theoretical basis for MEV
2023
Cited
4
