Bartoletti Massimo
UniCa About Professors and Researchers Massimo Bartoletti Research Research outcomes (IRIS)

Massimo Bartoletti

Showing results 1 to 50 of 98
Title Issue Date Author(s) Journal Publisher
Formalizing Automated Market Makers in the Lean 4 Theorem Prover 1-Jan-2024 Pusceddu, D.; Bartoletti, M. - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Towards Benchmarking of Solidity Verification Tools 1-Jan-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-Jan-2023 Bartoletti, M.; Murgia, M.; Zunino, R. LOGICAL METHODS IN COMPUTER SCIENCE -
A theory of Automated Market Makers in DeFi 1-Jan-2022 Bartoletti, M.; Chiang, J. H. -Y.; Lluch-Lafuente, A. LOGICAL METHODS IN COMPUTER SCIENCE -
Verifying liquidity of recursive Bitcoin contracts 1-Jan-2022 Bartoletti, M.; Lande, S.; Murgia, M.; Zunino, R. LOGICAL METHODS IN COMPUTER SCIENCE -
A Sound Up-to- n, δ Bisimilarity for PCTL 1-Jan-2022 Bartoletti, M.; Murgia, M.; Zunino, R. - Springer Science and Business Media Deutschland GmbH
Computationally sound Bitcoin tokens 1-Jan-2021 Bartoletti, M.; Lande, S.; Zunino, R. - IEEE Computer Society
A Formal Model of Algorand Smart Contracts 1-Jan-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-Jan-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-Jan-2021 Bartoletti, M.; Chiang, J. H. -Y.; Lluch-Lafuente, A. - Springer
SoK: Lending Pools in Decentralized Finance 1-Jan-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-Jan-2021 Bartoletti, M.; Galletta, L.; Murgia, M. LOGICAL METHODS IN COMPUTER SCIENCE -
Cryptocurrency scams: analysis and perspectives 1-Jan-2021 Bartoletti, M.; Lande, S.; Loddo, A.; Pompianu, L.; Serusi, S. IEEE ACCESS -
Smart Contracts Contracts 1-Jan-2020 Bartoletti, M FRONTIERS IN BLOCKCHAIN -
Renegotiation and recursion in bitcoin contracts 1-Jan-2020 Bartoletti, M.; Murgia, M.; Zunino, R. - Springer
Bitcoin Covenants Unchained 1-Jan-2020 Bartoletti, M.; Lande, S.; Zunino, R. - Springer
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact 1-Jan-2020 Bartoletti, Massimo; Carta, SALVATORE MARIO; Cimoli, Tiziana; Saia, Roberto FUTURE GENERATION COMPUTER SYSTEMS -
A true concurrent model of smart contracts executions 1-Jan-2020 Bartoletti, M.; Galletta, L.; Murgia, M. - Springer
Verifying Liquidity of Bitcoin Contracts 1-Jan-2019 Bartoletti, M.; Zunino, R. - Springer
Developing secure bitcoin contracts with BitML 1-Jan-2019 Atzei, N.; Bartoletti, M.; Lande, S.; Yoshida, N.; Zunino, R. - Association for Computing Machinery
A Journey into Bitcoin Metadata 1-Jan-2019 Bartoletti, Massimo; Bellomy, Bryn; Pompianu, Livio JOURNAL OF GRID COMPUTING -
Formal Models of Bitcoin Contracts: A Survey 1-Jan-2019 Bartoletti, M; Zunino, R FRONTIERS IN BLOCKCHAIN -
A Formal Model of Bitcoin Transactions 1-Jan-2018 Atzei, N.; Bartoletti, M.; Lande, S.; Zunino, R. - Springer
Fun with bitcoin smart contracts 1-Jan-2018 Bartoletti, Massimo; Cimoli, Tiziana; Zunino, Roberto - Springer
Blockchain for social good: a quantitative analysis 1-Jan-2018 Bartoletti, Massimo; Pompianu, Livio; Cimoli, Tiziana; Serusi, Sergio - Association for Computing Machinery
Progress-preserving refinements of CTA 1-Jan-2018 Bartoletti, Massimo; Bocchi, Laura; Murgia, Maurizio - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
SoK: Unraveling bitcoin smart contracts 1-Jan-2018 Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana; Lande, Stefano; Zunino, Roberto - Springer
Data mining for detecting Bitcoin Ponzi schemes 1-Jan-2018 Bartoletti, Massimo; Pes, Barbara; Serusi, Sergio - IEEE
BitML: A calculus for bitcoin smart contracts 1-Jan-2018 Bartoletti, Massimo; Zunino, Roberto - ACM
Constant-deposit multiparty lotteries on Bitcoin 1-Jan-2017 Bartoletti, Massimo; Zunino, Roberto LECTURE NOTES IN COMPUTER SCIENCE Springer
A general framework for blockchain analytics 1-Jan-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-Jan-2017 Bartoletti, Massimo; Pompianu, Livio - Springer
A Proof-of-Stake protocol for consensus on Bitcoin subchains 1-Jan-2017 Bartoletti, Massimo; Lande, Stefano; Podda, Alessandro Sebastian LECTURE NOTES IN COMPUTER SCIENCE Springer
Verifiable abstractions for contract-oriented systems 1-Jan-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-Jan-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-Jan-2017 Bartoletti, Massimo; Pompianu, Livio - Springer
Timed session types 1-Jan-2017 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio LOGICAL METHODS IN COMPUTER SCIENCE -
A survey of attacks on Ethereum smart contracts (SoK) 1-Jan-2017 Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana - Springer
Contract-Oriented design of distributed applications: A tutorial 1-Jan-2017 Atzei, N.; Bartoletti, M.; Murgia, M.; Tuosto, E.; Zunino, R. - River Publishers
Contracts as games on event structures 1-Jan-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-Jan-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-Jan-2016 Bartoletti, Massimo; Lande, Stefano; Massa, A. - -
On the decidability of honesty and of its variants 1-Jan-2016 Bartoletti, Massimo; Zunino, Roberto LECTURE NOTES IN COMPUTER SCIENCE Springer Verlag
Developing honest Java programs with Diogenes 1-Jan-2016 Atzei, Nicola; Bartoletti, Massimo LECTURE NOTES IN COMPUTER SCIENCE Springer
Honesty by typing 1-Jan-2016 Bartoletti, Massimo; Scalas, Alceste; Tuosto, Emilio; Zunino, Roberto LOGICAL METHODS IN COMPUTER SCIENCE -
A contract-oriented middleware 1-Jan-2016 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio; Podda, ALESSANDRO SEBASTIAN; Pompianu, Livio - Springer
Vicious circles in contracts and in logic 1-Jan-2015 Bartoletti, Massimo; Cimoli, Tiziana; DI GIAMBERARDINO, Paolo; Zunino, R. SCIENCE OF COMPUTER PROGRAMMING -
Lending Petri nets 1-Jan-2015 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE SCIENCE OF COMPUTER PROGRAMMING -
Combining behavioural types with security analysis 1-Jan-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-Jan-2015 Bartoletti, Massimo; Lange, J; Scalas, Alceste; Zunino, R. SCIENCE OF COMPUTER PROGRAMMING -
Showing results 1 to 50 of 98
Icon legend

  •  files available
  •  files available on intranet
  •  files available for authorized users
  •  files available for administrators
  •  files under embargo
  •  no files available

Questionnaire and social

Share on:
Impostazioni cookie