Massimo Bartoletti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
39
Venues
18
Active years
2005–2025
Best venue rank
A*
Where they publish
Papers
39 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | DCAI | Bias Classification and Interpretation in Web Content Via Language Models for Trustworthy Non-personalized Information Discovery. | Massimo Bartoletti, Ludovico Boratto, Mirko Marras, Diego Reforgiato Recupero, Arturo Rodriguez, Giuseppe Scarpi |
| 2025 | FC | A Theoretical Basis for MEV. | Massimo Bartoletti, Roberto Zunino |
| 2025 | FC | A Quantitative Notion of Economic Security for Smart Contract Compositions. | Emily Priyadarshini, Massimo Bartoletti |
| 2024 | FC | DeFi Composability as MEV Non-interference. | Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino |
| 2024 | IFM | Solvent: Liquidity Verification of Smart Contracts. | Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini, Vadim Malvone |
| 2022 | CAV | MEV-Freedom, in DeFi and Beyond (Invited Talk). | Massimo Bartoletti |
| 2022 | Coordination | A Sound Up-to-n, δ Bisimilarity for PCTL. | Massimo Bartoletti, Maurizio Murgia, Roberto Zunino |
| 2022 | FC | Maximizing Extractable Value from Automated Market Makers. | Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente |
| 2022 | ISoLA | Formal Analysis of Lending Pools in Decentralized Finance. | Massimo Bartoletti, James Hsin-yu Chiang, Tommi A. Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin |
| 2021 | Coordination | A Theory of Automated Market Makers in DeFi. | Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente |
| 2021 | FC | A Formal Model of Algorand Smart Contracts. | Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino |
| 2021 | FC | Towards a Theory of Decentralized Finance. | Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente |
| 2021 | FC | SoK: Lending Pools in Decentralized Finance. | Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente |
| 2020 | Coordination | A True Concurrent Model of Smart Contracts Executions. | Massimo Bartoletti, Letterio Galletta, Maurizio Murgia |
| 2020 | Coordination | Renegotiation and Recursion in Bitcoin Contracts. | Massimo Bartoletti, Maurizio Murgia, Roberto Zunino |
| 2020 | ISoLA | Bitcoin Covenants Unchained. | Massimo Bartoletti, Stefano Lande, Roberto Zunino |
| 2019 | ESORICS | A Minimal Core Calculus for Solidity Contracts. | Massimo Bartoletti, Letterio Galletta, Maurizio Murgia |
| 2018 | CCS | BitML: A Calculus for Bitcoin Smart Contracts. | Massimo Bartoletti, Roberto Zunino |
| 2018 | CONCUR | Progress-Preserving Refinements of CTA. | Massimo Bartoletti, Laura Bocchi, Maurizio Murgia |
| 2018 | FC | A Formal Model of Bitcoin Transactions. | Nicola Atzei, Massimo Bartoletti, Stefano Lande, Roberto Zunino |
| 2018 | ISoLA | Fun with Bitcoin Smart Contracts. | Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino |
| 2017 | FC | A Proof-of-Stake Protocol for Consensus on Bitcoin Subchains. | Massimo Bartoletti, Stefano Lande, Alessandro Sebastian Podda |
| 2017 | FC | An Analysis of Bitcoin OP_RETURN Metadata. | Massimo Bartoletti, Livio Pompianu |
| 2017 | FC | An Empirical Analysis of Smart Contracts: Platforms, Applications, and Design Patterns. | Massimo Bartoletti, Livio Pompianu |
| 2017 | FC | Constant-Deposit Multiparty Lotteries on Bitcoin. | Massimo Bartoletti, Roberto Zunino |
| 2017 | Middleware | A general framework for blockchain analytics. | Massimo Bartoletti, Stefano Lande, Livio Pompianu, Andrea Bracciali |
| 2016 | FORTE | Developing Honest Java Programs with Diogenes. | Nicola Atzei, Massimo Bartoletti |
| 2016 | WISE | Faderank: An Incremental Algorithm for Ranking Twitter Users. | Massimo Bartoletti, Stefano Lande, Alessandro Massa |
| 2015 | FORTE | Compliance and Subtyping in Timed Session Types. | Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu |
| 2015 | ICDCIT | Models of Circular Causality. | Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino |
| 2014 | CONCUR | A Semantic Deconstruction of Session Types. | Massimo Bartoletti, Alceste Scalas, Roberto Zunino |
| 2013 | FORTE | Honesty by Typing. | Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino |
| 2012 | Coordination | On the Realizability of Contracts in Dishonest Systems. | Massimo Bartoletti, Emilio Tuosto, Roberto Zunino |
| 2010 | LICS | A Calculus of Contracting Processes. | Massimo Bartoletti, Roberto Zunino |
| 2010 | SEFM | Static Enforcement of Service Deadlines. | Massimo Bartoletti, Roberto Zunino |
| 2009 | ICTAC | Untitled record | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino |
| 2007 | FOSSACS | Types and Effects for Resource Usage Analysis. | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino |
| 2005 | FOSSACS | History-Based Access Control with Local Policies. | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari |
| 2005 | POPL | Policy framings for access control. | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari |