Bartoletti, Massimo
- Dissecting Ponzi schemes on Ethereum: Identification, analysis, and impact
2017/03/10 by Massimo Bartoletti, Salvatore Carta, Bartoletti, Massimo +5 · 2 voices · 12 citations
Computer Science · #Blockchain Technology Applications and Security #Spam and Phishing Detection #Cybercrime and Law Enforcement Studies
- SoK: Lending Pools in Decentralized Finance
2020/12/24 by Bartoletti, Massimo, Chiang, James Hsin-yu, Lluch-Lafuente, Alberto · 3 citations
#68N30 #Computer Science and Game Theory (cs.GT) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FOS: Economics and business #General Finance (q-fin.GN) #I.6.4
- Data mining for detecting Bitcoin Ponzi schemes
2018/03/01 by Bartoletti, Massimo, Pes, Barbara, Serusi, Sergio · 2 citations
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences
- A formal model of Algorand smart contracts
2020/09/25 by Bartoletti, Massimo, Bracciali, Andrea, Lepore, Cristian +2 · 2 citations
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences
- Maximizing Extractable Value from Automated Market Makers
2021/06/02 by Bartoletti, Massimo, Chiang, James Hsin-yu, Lluch-Lafuente, Alberto · 2 citations
#68N30 #Computational Engineering #Computer Science and Game Theory (cs.GT) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Finance #Formal Languages and Automata Theory (cs.FL) #I.6.4 #and Science (cs.CE)
- A theoretical basis for MEV
2023/02/04 by Bartoletti, Massimo, Zunino, Roberto · 3 citations
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences
- A minimal core calculus for Solidity contracts
2019/08/06 by Bartoletti, Massimo, Galletta, Letterio, Murgia, Maurizio · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Smart Contract Languages: a comparative analysis
2024/04/05 by Massimo Bartoletti, Lorenzo Benetollo, Bartoletti, Massimo +24 · 2 citations
Social Sciences · #Cryptography and Security (cs.CR) #European and International Contract Law #FOS: Computer and information sciences #Programming Languages (cs.PL)
- Formalizing Automated Market Makers in the Lean 4 Theorem Prover
2024/02/08 by Pusceddu, Daniele, Bartoletti, Massimo · 2 citations
#Computational Engineering #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Finance #Logic in Computer Science (cs.LO) #and Science (cs.CE)
- Towards benchmarking of Solidity verification tools
2024/02/16 by Massimo Bartoletti, Bartoletti, Massimo, F. Fioravanti +7 · 1 citation
Materials Science · #Nuclear Materials and Properties
- DeFi composability as MEV non-interference
2023/09/19 by Massimo Bartoletti, Bartoletti, Massimo, Riccardo Marchesin +3 · 2 citations
Computer Science · #Blockchain Technology Applications and Security #Cryptography and Data Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Physical Unclonable Functions (PUFs) and Hardware Security