Massimo Bartoletti

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 84

Top Venues

CoRR

IACR Cryptol. ePrint Arch.

Financial Cryptography Workshops

Log. Methods Comput. Sci.

Publications

Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini, Vadim Malvone
Solvent: liquidity verification of smart contracts. CoRR (2024)
Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino
Scalable UTXO Smart Contracts via Fine-Grained Distributed State. CoRR (2024)
Massimo Bartoletti, Lorenzo Benetollo, Michele Bugliesi, Silvia Crafa, Giacomo Dal Sasso, Roberto Pettinau, Andrea Pinna, Mattia Piras, Sabina Rossi, Stefano Salis, Alvise Spanò, Viacheslav Tkachenko, Roberto Tonelli, Roberto Zunino
Smart Contract Languages: a comparative analysis. CoRR (2024)
Daniele Pusceddu, Massimo Bartoletti
Formalizing Automated Market Makers in the Lean 4 Theorem Prover. FMBC@CAV (2024)
Massimo Bartoletti, Fabio Fioravanti, Giulia Matricardi, Roberto Pettinau, Franco Sainas
Towards benchmarking of Solidity verification tools. CoRR (2024)
Daniele Pusceddu, Massimo Bartoletti
Formalizing Automated Market Makers in the Lean 4 Theorem Prover. CoRR (2024)
Massimo Bartoletti, Fabio Fioravanti, Giulia Matricardi, Roberto Pettinau, Franco Sainas
Towards Benchmarking of Solidity Verification Tools. FMBC@CAV (2024)
Massimo Bartoletti, Roberto Zunino
A theoretical basis for Blockchain Extractable Value. CoRR (2023)
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
Sound approximate and asymptotic probabilistic bisimulations for PCTL. Log. Methods Comput. Sci. 19 (1) (2023)
Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino
Secure compilation of rich smart contracts on poor UTXO blockchains. CoRR (2023)
Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino
DeFi composability as MEV non-interference. CoRR (2023)
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
A Sound Up-to-n, δ Bisimilarity for PCTL. COORDINATION (2022)
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
A theory of Automated Market Makers in DeFi. Log. Methods Comput. Sci. 18 (4) (2022)
Massimo Bartoletti, Stefano Lande, Maurizio Murgia, Roberto Zunino
Verifying liquidity of recursive Bitcoin contracts. Log. Methods Comput. Sci. 18 (1) (2022)
Massimo Bartoletti, James Hsin-yu Chiang, Tommi Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin
Formal Analysis of Lending Pools in Decentralized Finance. CoRR (2022)
Massimo Bartoletti, James Hsin-yu Chiang, Tommi Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin
Formal Analysis of Lending Pools in Decentralized Finance. ISoLA (3) (2022)
Massimo Bartoletti
MEV-Freedom, in DeFi and Beyond (Invited Talk). FMBC@CAV (2022)
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
Maximizing Extractable Value from Automated Market Makers. Financial Cryptography (2022)
Massimo Bartoletti, Stefano Lande, Andrea Loddo, Livio Pompianu, Sergio Serusi
Cryptocurrency Scams: Analysis and Perspectives. IEEE Access 9 (2021)
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
A theory of transaction parallelism in blockchains. Log. Methods Comput. Sci. 17 (4) (2021)
Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino
A Formal Model of Algorand Smart Contracts. Financial Cryptography (1) (2021)
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
Towards a Theory of Decentralized Finance. Financial Cryptography Workshops (2021)
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
SoK: Lending Pools in Decentralized Finance. Financial Cryptography Workshops (2021)
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
Maximizing Extractable Value from Automated Market Makers. CoRR (2021)
Massimo Bartoletti, Stefano Lande, Roberto Zunino
Computationally sound Bitcoin tokens. CSF (2021)
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
A Theory of Automated Market Makers in DeFi. COORDINATION (2021)
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
A theory of Automated Market Makers in DeFi. CoRR (2021)
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
A Sound Up-to-$n$, $δ$ Bisimilarity for PCTL. CoRR (2021)
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
SoK: Lending Pools in Decentralized Finance. CoRR (2020)
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
A theory of transaction parallelism in blockchains. CoRR (2020)
Massimo Bartoletti, Stefano Lande, Roberto Zunino
Bitcoin Covenants Unchained. ISoLA (3) (2020)
Massimo Bartoletti
Smart Contracts Contracts. Frontiers Blockchain 3 (2020)
Massimo Bartoletti, Stefano Lande, Roberto Zunino
Computationally sound Bitcoin tokens. CoRR (2020)
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
A True Concurrent Model of Smart Contracts Executions. COORDINATION (2020)
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
Renegotiation and recursion in Bitcoin contracts. CoRR (2020)
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
Renegotiation and Recursion in Bitcoin Contracts. COORDINATION (2020)
Massimo Bartoletti, Salvatore Carta, Tiziana Cimoli, Roberto Saia
Dissecting Ponzi schemes on Ethereum: Identification, analysis, and impact. Future Gener. Comput. Syst. 102 (2020)
Massimo Bartoletti, Stefano Lande, Roberto Zunino
Bitcoin covenants unchained. CoRR (2020)
Massimo Bartoletti, Stefano Lande, Maurizio Murgia, Roberto Zunino
Verification of recursive Bitcoin contracts. CoRR (2020)
Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino
A formal model of Algorand smart contracts. CoRR (2020)
Massimo Bartoletti, Laura Bocchi, Ludovic Henrio, Sophia Knight
Preface for the special issue on Interaction and Concurrency Experience 2017. J. Log. Algebraic Methods Program. 109 (2019)
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
A minimal core calculus for Solidity contracts. CoRR (2019)
Massimo Bartoletti, Roberto Zunino
Formal Models of Bitcoin Contracts: A Survey. Frontiers Blockchain 2 (2019)
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
A true concurrent model of smart contracts executions. CoRR (2019)
Massimo Bartoletti, Bryn Bellomy, Livio Pompianu
A Journey into Bitcoin Metadata. J. Grid Comput. 17 (1) (2019)
Massimo Bartoletti, Roberto Zunino
Verifying Liquidity of Bitcoin Contracts. POST (2019)
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, Roberto Zunino
Developing secure Bitcoin contracts with BitML. CoRR (2019)
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, Roberto Zunino
Developing secure bitcoin contracts with BitML. ESEC/SIGSOFT FSE (2019)
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
A Minimal Core Calculus for Solidity Contracts. DPM/CBT@ESORICS (2019)
Massimo Bartoletti, Barbara Pes, Sergio Serusi
Data Mining for Detecting Bitcoin Ponzi Schemes. CVCBT (2018)
Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli, Stefano Lande, Roberto Zunino
SoK: unraveling Bitcoin smart contracts. IACR Cryptol. ePrint Arch. 2018 (2018)
Massimo Bartoletti, Ludovic Henrio, Sophia Knight, Hugo Torres Vieira
Preface for the special issue on Interaction and Concurrency Experience 2016. J. Log. Algebraic Methods Program. 98 (2018)
Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli, Stefano Lande, Roberto Zunino
SoK: Unraveling Bitcoin Smart Contracts. POST (2018)
Massimo Bartoletti, Roberto Zunino
Verifying liquidity of Bitcoin contracts. IACR Cryptol. ePrint Arch. 2018 (2018)
Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino
Fun with Bitcoin smart contracts. IACR Cryptol. ePrint Arch. 2018 (2018)
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Roberto Zunino
A Formal Model of Bitcoin Transactions. Financial Cryptography (2018)
Massimo Bartoletti, Roberto Zunino
BitML: A Calculus for Bitcoin Smart Contracts. CCS (2018)
Massimo Bartoletti, Tiziana Cimoli, Livio Pompianu, Sergio Serusi
Blockchain for social good: a quantitative analysis. GOODTECHS (2018)
Massimo Bartoletti, Laura Bocchi, Maurizio Murgia
Progress-Preserving Refinements of CTA. CONCUR (2018)
Massimo Bartoletti, Tiziana Cimoli, Livio Pompianu, Sergio Serusi
Blockchain for social good: a quantitative analysis. CoRR (2018)
Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino
Fun with Bitcoin Smart Contracts. ISoLA (4) (2018)
Massimo Bartoletti, Roberto Zunino
BitML: a calculus for Bitcoin smart contracts. IACR Cryptol. ePrint Arch. 2018 (2018)
Massimo Bartoletti, Barbara Pes, Sergio Serusi
Data mining for detecting Bitcoin Ponzi schemes. CoRR (2018)
Massimo Bartoletti, Livio Pompianu
An Empirical Analysis of Smart Contracts: Platforms, Applications, and Design Patterns. Financial Cryptography Workshops (2017)
Massimo Bartoletti, Livio Pompianu
An empirical analysis of smart contracts: platforms, applications, and design patterns. CoRR (2017)
Massimo Bartoletti, Andrea Bracciali, Stefano Lande, Livio Pompianu
A general framework for Bitcoin analytics. CoRR (2017)
Massimo Bartoletti, Maurizio Murgia, Alceste Scalas, Roberto Zunino
Verifiable abstractions for contract-oriented systems. J. Log. Algebraic Methods Program. 86 (1) (2017)
Massimo Bartoletti, Livio Pompianu
An Analysis of Bitcoin OP_RETURN Metadata. Financial Cryptography Workshops (2017)
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia
Timed Session Types. Log. Methods Comput. Sci. 13 (4) (2017)
Massimo Bartoletti, Stefano Lande, Alessandro Sebastian Podda
A Proof-of-Stake protocol for consensus on Bitcoin subchains. IACR Cryptol. ePrint Arch. 2017 (2017)
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Roberto Zunino
A formal model of Bitcoin transactions. IACR Cryptol. ePrint Arch. 2017 (2017)
Massimo Bartoletti, Roberto Zunino
Constant-Deposit Multiparty Lotteries on Bitcoin. Financial Cryptography Workshops (2017)
Massimo Bartoletti, Stefano Lande, Livio Pompianu, Andrea Bracciali
A general framework for blockchain analytics. SERIAL@Middleware (2017)
Massimo Bartoletti, Livio Pompianu
An analysis of Bitcoin OP_RETURN metadata. CoRR (2017)
Massimo Bartoletti, Stefano Lande, Alessandro Sebastian Podda
A Proof-of-Stake Protocol for Consensus on Bitcoin Subchains. Financial Cryptography Workshops (2017)
Massimo Bartoletti, Salvatore Carta, Tiziana Cimoli, Roberto Saia
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact. CoRR (2017)
Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli
A Survey of Attacks on Ethereum Smart Contracts (SoK). POST (2017)
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia
Timed Session Types. CoRR (2017)
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino
Contracts as games on event structures. J. Log. Algebraic Methods Program. 85 (3) (2016)
Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino
Honesty by Typing Log. Methods Comput. Sci. 12 (4) (2016)
Nicola Atzei, Massimo Bartoletti
Developing Honest Java Programs with Diogenes. FORTE (2016)
Massimo Bartoletti, Roberto Zunino
Constant-deposit multiparty lotteries on Bitcoin. IACR Cryptol. ePrint Arch. 2016 (2016)
Massimo Bartoletti, Stefano Lande, Alessandro Massa
Faderank: An Incremental Algorithm for Ranking Twitter Users. WISE (2) (2016)
Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli
A survey of attacks on Ethereum smart contracts. IACR Cryptol. ePrint Arch. 2016 (2016)
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu
A Contract-Oriented Middleware. FACS (2015)
Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino, Roberto Zunino
Vicious circles in contracts and in logic. Sci. Comput. Program. 109 (2015)
Massimo Bartoletti, Pierpaolo Degano, Paolo Di Giamberardino, Roberto Zunino
Debits and Credits in Petri Nets and Linear Logic. Logic, Rewriting, and Concurrency (2015)
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu
Compliance and Subtyping in Timed Session Types. FORTE (2015)
Massimo Bartoletti, Roberto Zunino
On the Decidability of Honesty and of Its Variants. WS-FM (2015)
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna
Lending Petri nets. Sci. Comput. Program. 112 (2015)
Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira
Combining behavioural types with security analysis. CoRR (2015)
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino
Models of Circular Causality. ICDCIT (2015)
Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino
Compliance in Behavioural Contracts: A Brief Survey. Programming Languages with Applications to Biology and Security (2015)
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino
Model checking usage policies. Math. Struct. Comput. Sci. 25 (3) (2015)
Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira
Combining behavioural types with security analysis. J. Log. Algebraic Methods Program. 84 (6) (2015)
Alceste Scalas, Massimo Bartoletti
The LTS WorkBench. ICE (2015)
Massimo Bartoletti, Julien Lange, Alceste Scalas, Roberto Zunino
Choreographies in the wild. Sci. Comput. Program. 109 (2015)
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna
A note on two notions of compliance. ICE (2014)
Massimo Bartoletti, Maurizio Murgia, Alceste Scalas, Roberto Zunino
Modelling and Verifying Contract-Oriented Systems in Maude. WRLA (2014)
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino
Circular Causality in Event Structures. Fundam. Informaticae 134 (3-4) (2014)

Massimo Bartoletti.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Massimo Bartoletti