Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Articles by Massimo Bartoletti | Synthical
Claim page
Massimo Bartoletti
Follow
Activity
Upvotes
Folders
Articles
8
A theory of Lending Protocols in DeFi
18 June 2025 by
Massimo Bartoletti
and
Enrico Lipparini
Computer Science and Game Theory
,
Cryptography and Security
Certified algorithms for numerical semigroups in Rocq
29 May 2025 by
Massimo Bartoletti
and
others
Discrete Mathematics
,
Mathematical Software
A quantitative notion of economic security for smart contract compositions
25 May 2025 by
Emily Priyadarshini
and
Massimo Bartoletti
Cryptography and Security
A theoretical basis for MEV
25 May 2025 by
Massimo Bartoletti
and
Roberto Zunino
Cryptography and Security
Formal verification in Solidity and Move: insights from a comparative analysis
5 May 2025 by
Massimo Bartoletti
and
others
Cryptography and Security
Scalable UTXO Smart Contracts via Fine-Grained Distributed State
13 January 2025 by
Massimo Bartoletti
and
others
Cryptography and Security
Solvent: liquidity verification of smart contracts
23 September 2024 by
Massimo Bartoletti
and
others
Cryptography and Security
,
Programming Languages
Smart Contract Languages: a comparative analysis
8 August 2024 by
Massimo Bartoletti
and
others
Cryptography and Security
,
Programming Languages
Topics
We have not analyzed this profile yet, please check back later
