Università degli Studi di Cagliari
Massimo Bartoletti
Bias Classification and Interpretation in Web Content Via Language Models for Trustworthy Non-personalized Information Discovery
2026-01-01 Bartoletti, M.; Boratto, L.; Marras, M.; Reforgiato Recupero, D.; Arturo, Rodriguez; Scarpi, G.
Scalable UTXO smart contracts via fine-grained distributed state
2026-01-01 Bartoletti, Massimo; Marchesin, Riccardo; Zunino, Roberto
A Quantitative Notion of Economic Security for Smart Contract Compositions
2026-01-01 Priyadarshini, E.; Bartoletti, M.
A Theoretical Basis for MEV
2026-01-01 Bartoletti, M.; Zunino, R.
Certified Algorithms for Numerical Semigroups in Rocq
2025-01-01 Bartoletti, Massimo; Bonzio, Stefano; Ferrara, Marco
Smart Contract Languages: a comparative analysis
2025-01-01 Bartoletti, Massimo; Benetollo, Lorenzo; Bugliesi, Michele; Crafa, Silvia; Dal Sasso, Giacomo; Pettinau, Roberto; Pinna, Andrea; Piras, Mattia; Rossi, Sabina; Salis, Stefano; Spanò, Alvise; Tkachenko, Viacheslav; Tonelli, Roberto; Zunino, Roberto
Solvent: Liquidity Verification of Smart Contracts
2025-01-01 Bartoletti, M.; Ferrando, A.; Lipparini, E.; Malvone, V.
DeFi Composability as MEV Non-interference
2025-01-01 Bartoletti, M.; Marchesin, R.; Zunino, R.
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.
Secure compilation of rich smart contracts on poor UTXO blockchains
2024-01-01 Bartoletti, M.; Marchesin, R.; Zunino, R.
Sound approximate and asymptotic probabilistic bisimulations for PCTL
2023-01-01 Bartoletti, M.; Murgia, M.; Zunino, R.
Verifying liquidity of recursive Bitcoin contracts
2022-01-01 Bartoletti, M.; Lande, S.; Murgia, M.; Zunino, R.
Maximizing Extractable Value from Automated Market Makers
2022-01-01 Bartoletti, M.; Chiang, J. H. -Y.; Lluch Lafuente, A.
A theory of Automated Market Makers in DeFi
2022-01-01 Bartoletti, M.; Chiang, J. H. -Y.; Lluch-Lafuente, A.
A Sound Up-to- n, δ Bisimilarity for PCTL
2022-01-01 Bartoletti, M.; Murgia, M.; Zunino, R.
Cryptocurrency scams: analysis and perspectives
2021-01-01 Bartoletti, M.; Lande, S.; Loddo, A.; Pompianu, L.; Serusi, S.
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.
A theory of transaction parallelism in blockchains
2021-01-01 Bartoletti, M.; Galletta, L.; Murgia, M.
SoK: Lending Pools in Decentralized Finance
2021-01-01 Bartoletti, M.; Chiang, J. H. -Y.; Lafuente, A. L.
Computationally sound Bitcoin tokens
2021-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.
Bitcoin Covenants Unchained
2020-01-01 Bartoletti, M.; Lande, S.; Zunino, R.
Renegotiation and recursion in bitcoin contracts
2020-01-01 Bartoletti, M.; Murgia, M.; Zunino, R.
Smart Contracts Contracts
2020-01-01 Bartoletti, M
A Journey into Bitcoin Metadata
2019-01-01 Bartoletti, Massimo; Bellomy, Bryn; Pompianu, Livio
Developing secure bitcoin contracts with BitML
2019-01-01 Atzei, N.; Bartoletti, M.; Lande, S.; Yoshida, N.; Zunino, R.
Verifying Liquidity of Bitcoin Contracts
2019-01-01 Bartoletti, M.; Zunino, R.
Formal Models of Bitcoin Contracts: A Survey
2019-01-01 Bartoletti, M; Zunino, R
Progress-preserving refinements of CTA
2018-01-01 Bartoletti, Massimo; Bocchi, Laura; Murgia, Maurizio
Fun with bitcoin smart contracts
2018-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Zunino, Roberto
A Formal Model of Bitcoin Transactions
2018-01-01 Atzei, N.; Bartoletti, M.; Lande, S.; Zunino, R.
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
SoK: Unraveling bitcoin smart contracts
2018-01-01 Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana; Lande, Stefano; Zunino, Roberto
Blockchain for social good: a quantitative analysis
2018-01-01 Bartoletti, Massimo; Pompianu, Livio; Cimoli, Tiziana; Serusi, Sergio
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.
Verifiable abstractions for contract-oriented systems
2017-01-01 Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, Roberto
An analysis of bitcoin OP_RETURN metadata
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
Constant-deposit multiparty lotteries on Bitcoin
2017-01-01 Bartoletti, Massimo; Zunino, Roberto
Contract-Oriented design of distributed applications: A tutorial
2017-01-01 Atzei, N.; Bartoletti, M.; Murgia, M.; Tuosto, E.; Zunino, R.
An empirical analysis of smart contracts: platforms, applications, and design patterns
2017-01-01 Bartoletti, Massimo; Pompianu, Livio
Timed session types
2017-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio
A general framework for blockchain analytics
2017-01-01 Bartoletti, Massimo; Lande, Stefano; Pompianu, Livio; Bracciali, Andrea
A survey of attacks on Ethereum smart contracts (SoK)
2017-01-01 Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana
A contract-oriented middleware
2016-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio; Podda, ALESSANDRO SEBASTIAN; Pompianu, Livio
| Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
|---|---|---|---|---|
| Bias Classification and Interpretation in Web Content Via Language Models for Trustworthy Non-personalized Information Discovery | 1-gen-2026 | Bartoletti, M.; Boratto, L.; Marras, M.; Reforgiato Recupero, D.; Arturo, Rodriguez; Scarpi, G. | - | Springer Science and Business Media Deutschland GmbH |
| Scalable UTXO smart contracts via fine-grained distributed state | 1-gen-2026 | Bartoletti, Massimo; Marchesin, Riccardo; Zunino, Roberto | FUTURE GENERATION COMPUTER SYSTEMS | - |
| A Quantitative Notion of Economic Security for Smart Contract Compositions | 1-gen-2026 | Priyadarshini, E.; Bartoletti, M. | - | Springer Science and Business Media Deutschland GmbH |
| A Theoretical Basis for MEV | 1-gen-2026 | Bartoletti, M.; Zunino, R. | - | Springer Science and Business Media Deutschland GmbH |
| Certified Algorithms for Numerical Semigroups in Rocq | 1-gen-2025 | Bartoletti, Massimo; Bonzio, Stefano; Ferrara, Marco | - | Springer Cham |
| Smart Contract Languages: a comparative analysis | 1-gen-2025 | Bartoletti, Massimo; Benetollo, Lorenzo; Bugliesi, Michele; Crafa, Silvia; Dal Sasso, Giacomo; Pettinau, Roberto; Pinna, Andrea; Piras, Mattia; Rossi, Sabina; Salis, Stefano; Spanò, Alvise; Tkachenko, Viacheslav; Tonelli, Roberto; Zunino, Roberto | FUTURE GENERATION COMPUTER SYSTEMS | - |
| Solvent: Liquidity Verification of Smart Contracts | 1-gen-2025 | Bartoletti, M.; Ferrando, A.; Lipparini, E.; Malvone, V. | - | Springer Science and Business Media Deutschland GmbH |
| DeFi Composability as MEV Non-interference | 1-gen-2025 | Bartoletti, M.; Marchesin, R.; Zunino, R. | - | Springer Science and Business Media Deutschland GmbH |
| 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 |
| Secure compilation of rich smart contracts on poor UTXO blockchains | 1-gen-2024 | Bartoletti, M.; Marchesin, R.; Zunino, R. | - | Institute of Electrical and Electronics Engineers Inc. |
| Sound approximate and asymptotic probabilistic bisimulations for PCTL | 1-gen-2023 | Bartoletti, M.; Murgia, M.; Zunino, R. | 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 | - |
| Maximizing Extractable Value from Automated Market Makers | 1-gen-2022 | Bartoletti, M.; Chiang, J. H. -Y.; Lluch Lafuente, A. | - | Springer Science and Business Media Deutschland GmbH |
| 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 | - |
| A Sound Up-to- n, δ Bisimilarity for PCTL | 1-gen-2022 | Bartoletti, M.; Murgia, M.; Zunino, R. | - | Springer Science and Business Media Deutschland GmbH |
| Cryptocurrency scams: analysis and perspectives | 1-gen-2021 | Bartoletti, M.; Lande, S.; Loddo, A.; Pompianu, L.; Serusi, S. | IEEE ACCESS | - |
| 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 |
| A theory of transaction parallelism in blockchains | 1-gen-2021 | Bartoletti, M.; Galletta, L.; Murgia, M. | LOGICAL METHODS IN COMPUTER SCIENCE | - |
| 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 |
| Computationally sound Bitcoin tokens | 1-gen-2021 | Bartoletti, M.; Lande, S.; Zunino, R. | - | IEEE Computer Society |
| 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 |
| Bitcoin Covenants Unchained | 1-gen-2020 | Bartoletti, M.; Lande, S.; Zunino, R. | - | Springer |
| Renegotiation and recursion in bitcoin contracts | 1-gen-2020 | Bartoletti, M.; Murgia, M.; Zunino, R. | - | Springer |
| Smart Contracts Contracts | 1-gen-2020 | Bartoletti, M | FRONTIERS IN BLOCKCHAIN | - |
| A Journey into Bitcoin Metadata | 1-gen-2019 | Bartoletti, Massimo; Bellomy, Bryn; Pompianu, Livio | JOURNAL OF GRID COMPUTING | - |
| Developing secure bitcoin contracts with BitML | 1-gen-2019 | Atzei, N.; Bartoletti, M.; Lande, S.; Yoshida, N.; Zunino, R. | - | Association for Computing Machinery |
| Verifying Liquidity of Bitcoin Contracts | 1-gen-2019 | Bartoletti, M.; Zunino, R. | - | Springer |
| Formal Models of Bitcoin Contracts: A Survey | 1-gen-2019 | Bartoletti, M; Zunino, R | FRONTIERS IN BLOCKCHAIN | - |
| Progress-preserving refinements of CTA | 1-gen-2018 | Bartoletti, Massimo; Bocchi, Laura; Murgia, Maurizio | - | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing |
| Fun with bitcoin smart contracts | 1-gen-2018 | Bartoletti, Massimo; Cimoli, Tiziana; Zunino, Roberto | - | Springer |
| A Formal Model of Bitcoin Transactions | 1-gen-2018 | Atzei, N.; Bartoletti, M.; Lande, S.; Zunino, R. | - | 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 |
| SoK: Unraveling bitcoin smart contracts | 1-gen-2018 | Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana; Lande, Stefano; 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 |
| 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 |
| 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 | - |
| An analysis of bitcoin OP_RETURN metadata | 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 |
| Constant-deposit multiparty lotteries on Bitcoin | 1-gen-2017 | Bartoletti, Massimo; Zunino, Roberto | LECTURE NOTES IN COMPUTER SCIENCE | Springer |
| Contract-Oriented design of distributed applications: A tutorial | 1-gen-2017 | Atzei, N.; Bartoletti, M.; Murgia, M.; Tuosto, E.; Zunino, R. | - | River Publishers |
| An empirical analysis of smart contracts: platforms, applications, and design patterns | 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 general framework for blockchain analytics | 1-gen-2017 | Bartoletti, Massimo; Lande, Stefano; Pompianu, Livio; Bracciali, Andrea | - | Association for Computing Machinery (ACM) |
| A survey of attacks on Ethereum smart contracts (SoK) | 1-gen-2017 | Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana | - | Springer |
| A contract-oriented middleware | 1-gen-2016 | Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio; Podda, ALESSANDRO SEBASTIAN; Pompianu, Livio | - | Springer |
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