Scholar
Massimo Bartoletti
Google Scholar ID: DXQxiTAAAAAJ
Università degli Studi di Cagliari
Citations & Impact
Citations
4,640
H-index
23
i10-index
35
Publications
20
Co-authors
59
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Published 'A theoretical basis for MEV' in Financial Cryptography, 2025
- Published 'Formal verification in Solidity and Move: insights from a comparative analysis' at FMBC, 2025
- Published 'Scalable UTXO Smart Contracts via Fine-Grained Distributed State' in Future Generation Computer Systems (to appear), 2025
- Released multiple ArXiv preprints in 2025 on DeFi, MEV strategies, and LLMs as verification oracles
- Published 'Smart Contract Languages: a comparative analysis' in Future Generation Computer Systems 164, 2024
- Published 'Secure compilation of rich smart contracts on poor UTXO blockchains' at IEEE European Symposium on Security and Privacy, 2024
- Published 'DeFi composability as MEV non-interference' in Financial Cryptography, 2024
- Published works on Solidity verification benchmarking and AMM formalization in Lean4 at FMBC, 2024
- Published 'Sound approximate and asymptotic probabilistic bisimulations for PCTL' in Logical Methods in Computer Science, 2023
- Published 'A theory of Automated Market Makers in DeFi' in 2022
