Massimo Bartoletti
Formalizing Automated Market Makers in the Lean 4 Theorem Prover
2024-01-01 Pusceddu, D.; Bartoletti, M.
Towards Benchmarking of Solidity Verification Tools
2024-01-01 Bartoletti, M.; Fioravanti, F.; Matricardi, G.; Pettinau, R.; Sainas, F.
Sound approximate and asymptotic probabilistic bisimulations for PCTL
2023-01-01 Bartoletti, M.; Murgia, M.; Zunino, R.
A theory of Automated Market Makers in DeFi
2022-01-01 Bartoletti, M.; Chiang, J. H. -Y.; Lluch-Lafuente, A.
Verifying liquidity of recursive Bitcoin contracts
2022-01-01 Bartoletti, M.; Lande, S.; Murgia, M.; Zunino, R.
A Sound Up-to- n, δ Bisimilarity for PCTL
2022-01-01 Bartoletti, M.; Murgia, M.; Zunino, R.
Computationally sound Bitcoin tokens
2021-01-01 Bartoletti, M.; Lande, S.; Zunino, R.
A Formal Model of Algorand Smart Contracts
2021-01-01 Bartoletti, M.; Bracciali, A.; Lepore, C.; Scalas, A.; Zunino, R.
Towards a Theory of Decentralized Finance
2021-01-01 Bartoletti, M.; Chiang, J. H. -Y.; Lafuente, A. L.
A Theory of Automated Market Makers in DeFi
2021-01-01 Bartoletti, M.; Chiang, J. H. -Y.; Lluch-Lafuente, A.
SoK: Lending Pools in Decentralized Finance
2021-01-01 Bartoletti, M.; Chiang, J. H. -Y.; Lafuente, A. L.
A theory of transaction parallelism in blockchains
2021-01-01 Bartoletti, M.; Galletta, L.; Murgia, M.
Cryptocurrency scams: analysis and perspectives
2021-01-01 Bartoletti, M.; Lande, S.; Loddo, A.; Pompianu, L.; Serusi, S.
Smart Contracts Contracts
2020-01-01 Bartoletti, M
Renegotiation and recursion in bitcoin contracts
2020-01-01 Bartoletti, M.; Murgia, M.; Zunino, R.
Bitcoin Covenants Unchained
2020-01-01 Bartoletti, M.; Lande, S.; Zunino, R.
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact
2020-01-01 Bartoletti, Massimo; Carta, SALVATORE MARIO; Cimoli, Tiziana; Saia, Roberto
A true concurrent model of smart contracts executions
2020-01-01 Bartoletti, M.; Galletta, L.; Murgia, M.
Verifying Liquidity of Bitcoin Contracts
2019-01-01 Bartoletti, M.; Zunino, R.
Developing secure bitcoin contracts with BitML
2019-01-01 Atzei, N.; Bartoletti, M.; Lande, S.; Yoshida, N.; Zunino, R.
A Journey into Bitcoin Metadata
2019-01-01 Bartoletti, Massimo; Bellomy, Bryn; Pompianu, Livio
Formal Models of Bitcoin Contracts: A Survey
2019-01-01 Bartoletti, M; Zunino, R
A Formal Model of Bitcoin Transactions
2018-01-01 Atzei, N.; Bartoletti, M.; Lande, S.; Zunino, R.
Fun with bitcoin smart contracts
2018-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Zunino, Roberto
Blockchain for social good: a quantitative analysis
2018-01-01 Bartoletti, Massimo; Pompianu, Livio; Cimoli, Tiziana; Serusi, Sergio
Progress-preserving refinements of CTA
2018-01-01 Bartoletti, Massimo; Bocchi, Laura; Murgia, Maurizio
SoK: Unraveling bitcoin smart contracts
2018-01-01 Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana; Lande, Stefano; Zunino, Roberto
Data mining for detecting Bitcoin Ponzi schemes
2018-01-01 Bartoletti, Massimo; Pes, Barbara; Serusi, Sergio
BitML: A calculus for bitcoin smart contracts
2018-01-01 Bartoletti, Massimo; Zunino, Roberto
Constant-deposit multiparty lotteries on Bitcoin
2017-01-01 Bartoletti, Massimo; Zunino, Roberto
A general framework for blockchain analytics
2017-01-01 Bartoletti, Massimo; Lande, Stefano; Pompianu, Livio; Bracciali, Andrea
An empirical analysis of smart contracts: platforms, applications, and design patterns
2017-01-01 Bartoletti, Massimo; Pompianu, Livio
A Proof-of-Stake protocol for consensus on Bitcoin subchains
2017-01-01 Bartoletti, Massimo; Lande, Stefano; Podda, Alessandro Sebastian
Verifiable abstractions for contract-oriented systems
2017-01-01 Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, Roberto
Contract-oriented programming with timed session types
2017-01-01 Atzei, N.; Bartoletti, M.; Cimoli, T.; Lande, S.; Murgia, M.; Podda, A. S.; Pompianu, L.
An analysis of bitcoin OP_RETURN metadata
2017-01-01 Bartoletti, Massimo; Pompianu, Livio
Timed session types
2017-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio
A survey of attacks on Ethereum smart contracts (SoK)
2017-01-01 Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana
Contract-Oriented design of distributed applications: A tutorial
2017-01-01 Atzei, N.; Bartoletti, M.; Murgia, M.; Tuosto, E.; Zunino, R.
Contracts as games on event structures
2016-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, R.
Preface [ to: Proceedings 9th Interaction and Concurrency Experience]
2016-01-01 Bartoletti, Massimo; Henrio, Ludovic; Knight, Sophia; Vieira, Hugo Torres
Faderank: an incremental algorithm for ranking Twitter users
2016-01-01 Bartoletti, Massimo; Lande, Stefano; Massa, A.
On the decidability of honesty and of its variants
2016-01-01 Bartoletti, Massimo; Zunino, Roberto
Developing honest Java programs with Diogenes
2016-01-01 Atzei, Nicola; Bartoletti, Massimo
Honesty by typing
2016-01-01 Bartoletti, Massimo; Scalas, Alceste; Tuosto, Emilio; Zunino, Roberto
A contract-oriented middleware
2016-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio; Podda, ALESSANDRO SEBASTIAN; Pompianu, Livio
Vicious circles in contracts and in logic
2015-01-01 Bartoletti, Massimo; Cimoli, Tiziana; DI GIAMBERARDINO, Paolo; Zunino, R.
Lending Petri nets
2015-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE
Combining behavioural types with security analysis
2015-01-01 Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre Malo; Dezani Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantovic, Jovanka; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres
Choreographies in the wild
2015-01-01 Bartoletti, Massimo; Lange, J; Scalas, Alceste; Zunino, R.
Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
---|---|---|---|---|
Formalizing Automated Market Makers in the Lean 4 Theorem Prover | 1-gen-2024 | Pusceddu, D.; Bartoletti, M. | - | Schloss Dagstuhl – Leibniz-Zentrum für Informatik |
Towards Benchmarking of Solidity Verification Tools | 1-gen-2024 | Bartoletti, M.; Fioravanti, F.; Matricardi, G.; Pettinau, R.; Sainas, F. | - | Schloss Dagstuhl – Leibniz-Zentrum für Informatik |
Sound approximate and asymptotic probabilistic bisimulations for PCTL | 1-gen-2023 | Bartoletti, M.; Murgia, M.; Zunino, R. | LOGICAL METHODS IN COMPUTER SCIENCE | - |
A theory of Automated Market Makers in DeFi | 1-gen-2022 | Bartoletti, M.; Chiang, J. H. -Y.; Lluch-Lafuente, A. | LOGICAL METHODS IN COMPUTER SCIENCE | - |
Verifying liquidity of recursive Bitcoin contracts | 1-gen-2022 | Bartoletti, M.; Lande, S.; Murgia, M.; Zunino, R. | LOGICAL METHODS IN COMPUTER SCIENCE | - |
A Sound Up-to- n, δ Bisimilarity for PCTL | 1-gen-2022 | Bartoletti, M.; Murgia, M.; Zunino, R. | - | Springer Science and Business Media Deutschland GmbH |
Computationally sound Bitcoin tokens | 1-gen-2021 | Bartoletti, M.; Lande, S.; Zunino, R. | - | IEEE Computer Society |
A Formal Model of Algorand Smart Contracts | 1-gen-2021 | Bartoletti, M.; Bracciali, A.; Lepore, C.; Scalas, A.; Zunino, R. | - | Springer Science and Business Media Deutschland GmbH |
Towards a Theory of Decentralized Finance | 1-gen-2021 | Bartoletti, M.; Chiang, J. H. -Y.; Lafuente, A. L. | - | Springer Science and Business Media Deutschland GmbH |
A Theory of Automated Market Makers in DeFi | 1-gen-2021 | Bartoletti, M.; Chiang, J. H. -Y.; Lluch-Lafuente, A. | - | Springer |
SoK: Lending Pools in Decentralized Finance | 1-gen-2021 | Bartoletti, M.; Chiang, J. H. -Y.; Lafuente, A. L. | - | Springer Science and Business Media Deutschland GmbH |
A theory of transaction parallelism in blockchains | 1-gen-2021 | Bartoletti, M.; Galletta, L.; Murgia, M. | LOGICAL METHODS IN COMPUTER SCIENCE | - |
Cryptocurrency scams: analysis and perspectives | 1-gen-2021 | Bartoletti, M.; Lande, S.; Loddo, A.; Pompianu, L.; Serusi, S. | IEEE ACCESS | - |
Smart Contracts Contracts | 1-gen-2020 | Bartoletti, M | FRONTIERS IN BLOCKCHAIN | - |
Renegotiation and recursion in bitcoin contracts | 1-gen-2020 | Bartoletti, M.; Murgia, M.; Zunino, R. | - | Springer |
Bitcoin Covenants Unchained | 1-gen-2020 | Bartoletti, M.; Lande, S.; Zunino, R. | - | Springer |
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact | 1-gen-2020 | Bartoletti, Massimo; Carta, SALVATORE MARIO; Cimoli, Tiziana; Saia, Roberto | FUTURE GENERATION COMPUTER SYSTEMS | - |
A true concurrent model of smart contracts executions | 1-gen-2020 | Bartoletti, M.; Galletta, L.; Murgia, M. | - | Springer |
Verifying Liquidity of Bitcoin Contracts | 1-gen-2019 | Bartoletti, M.; Zunino, R. | - | Springer |
Developing secure bitcoin contracts with BitML | 1-gen-2019 | Atzei, N.; Bartoletti, M.; Lande, S.; Yoshida, N.; Zunino, R. | - | Association for Computing Machinery |
A Journey into Bitcoin Metadata | 1-gen-2019 | Bartoletti, Massimo; Bellomy, Bryn; Pompianu, Livio | JOURNAL OF GRID COMPUTING | - |
Formal Models of Bitcoin Contracts: A Survey | 1-gen-2019 | Bartoletti, M; Zunino, R | FRONTIERS IN BLOCKCHAIN | - |
A Formal Model of Bitcoin Transactions | 1-gen-2018 | Atzei, N.; Bartoletti, M.; Lande, S.; Zunino, R. | - | Springer |
Fun with bitcoin smart contracts | 1-gen-2018 | Bartoletti, Massimo; Cimoli, Tiziana; Zunino, Roberto | - | Springer |
Blockchain for social good: a quantitative analysis | 1-gen-2018 | Bartoletti, Massimo; Pompianu, Livio; Cimoli, Tiziana; Serusi, Sergio | - | Association for Computing Machinery |
Progress-preserving refinements of CTA | 1-gen-2018 | Bartoletti, Massimo; Bocchi, Laura; Murgia, Maurizio | - | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing |
SoK: Unraveling bitcoin smart contracts | 1-gen-2018 | Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana; Lande, Stefano; Zunino, Roberto | - | Springer |
Data mining for detecting Bitcoin Ponzi schemes | 1-gen-2018 | Bartoletti, Massimo; Pes, Barbara; Serusi, Sergio | - | IEEE |
BitML: A calculus for bitcoin smart contracts | 1-gen-2018 | Bartoletti, Massimo; Zunino, Roberto | - | ACM |
Constant-deposit multiparty lotteries on Bitcoin | 1-gen-2017 | Bartoletti, Massimo; Zunino, Roberto | LECTURE NOTES IN COMPUTER SCIENCE | Springer |
A general framework for blockchain analytics | 1-gen-2017 | Bartoletti, Massimo; Lande, Stefano; Pompianu, Livio; Bracciali, Andrea | - | Association for Computing Machinery (ACM) |
An empirical analysis of smart contracts: platforms, applications, and design patterns | 1-gen-2017 | Bartoletti, Massimo; Pompianu, Livio | - | Springer |
A Proof-of-Stake protocol for consensus on Bitcoin subchains | 1-gen-2017 | Bartoletti, Massimo; Lande, Stefano; Podda, Alessandro Sebastian | LECTURE NOTES IN COMPUTER SCIENCE | Springer |
Verifiable abstractions for contract-oriented systems | 1-gen-2017 | Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, Roberto | THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | - |
Contract-oriented programming with timed session types | 1-gen-2017 | Atzei, N.; Bartoletti, M.; Cimoli, T.; Lande, S.; Murgia, M.; Podda, A. S.; Pompianu, L. | - | River Publishers |
An analysis of bitcoin OP_RETURN metadata | 1-gen-2017 | Bartoletti, Massimo; Pompianu, Livio | - | Springer |
Timed session types | 1-gen-2017 | Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio | LOGICAL METHODS IN COMPUTER SCIENCE | - |
A survey of attacks on Ethereum smart contracts (SoK) | 1-gen-2017 | Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana | - | Springer |
Contract-Oriented design of distributed applications: A tutorial | 1-gen-2017 | Atzei, N.; Bartoletti, M.; Murgia, M.; Tuosto, E.; Zunino, R. | - | River Publishers |
Contracts as games on event structures | 1-gen-2016 | Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, R. | THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | - |
Preface [ to: Proceedings 9th Interaction and Concurrency Experience] | 1-gen-2016 | Bartoletti, Massimo; Henrio, Ludovic; Knight, Sophia; Vieira, Hugo Torres | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | Open Publishing Association |
Faderank: an incremental algorithm for ranking Twitter users | 1-gen-2016 | Bartoletti, Massimo; Lande, Stefano; Massa, A. | - | - |
On the decidability of honesty and of its variants | 1-gen-2016 | Bartoletti, Massimo; Zunino, Roberto | LECTURE NOTES IN COMPUTER SCIENCE | Springer Verlag |
Developing honest Java programs with Diogenes | 1-gen-2016 | Atzei, Nicola; Bartoletti, Massimo | LECTURE NOTES IN COMPUTER SCIENCE | Springer |
Honesty by typing | 1-gen-2016 | Bartoletti, Massimo; Scalas, Alceste; Tuosto, Emilio; Zunino, Roberto | LOGICAL METHODS IN COMPUTER SCIENCE | - |
A contract-oriented middleware | 1-gen-2016 | Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio; Podda, ALESSANDRO SEBASTIAN; Pompianu, Livio | - | Springer |
Vicious circles in contracts and in logic | 1-gen-2015 | Bartoletti, Massimo; Cimoli, Tiziana; DI GIAMBERARDINO, Paolo; Zunino, R. | SCIENCE OF COMPUTER PROGRAMMING | - |
Lending Petri nets | 1-gen-2015 | Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE | SCIENCE OF COMPUTER PROGRAMMING | - |
Combining behavioural types with security analysis | 1-gen-2015 | Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre Malo; Dezani Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantovic, Jovanka; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres | THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | - |
Choreographies in the wild | 1-gen-2015 | Bartoletti, Massimo; Lange, J; Scalas, Alceste; Zunino, R. | SCIENCE OF COMPUTER PROGRAMMING | - |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile