BARTOLETTI, MASSIMO
BARTOLETTI, MASSIMO
DIPARTIMENTO DI MATEMATICA ED INFORMATICA
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
Formalizing Automated Market Makers in the Lean 4 Theorem Prover
2024-01-01 Pusceddu, D.; Bartoletti, M.
Secure compilation of rich smart contracts on poor UTXO blockchains
2024-01-01 Bartoletti, M.; Marchesin, R.; Zunino, R.
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 Sound Up-to- n, δ Bisimilarity for PCTL
2022-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 Formal Model of Algorand Smart Contracts
2021-01-01 Bartoletti, M.; Bracciali, A.; Lepore, C.; Scalas, A.; Zunino, R.
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.
Computationally sound Bitcoin tokens
2021-01-01 Bartoletti, M.; Lande, S.; Zunino, R.
Cryptocurrency scams: analysis and perspectives
2021-01-01 Bartoletti, M.; Lande, S.; Loddo, A.; Pompianu, L.; Serusi, S.
SoK: Lending Pools in Decentralized Finance
2021-01-01 Bartoletti, M.; Chiang, J. H. -Y.; Lafuente, A. L.
Towards a Theory of Decentralized Finance
2021-01-01 Bartoletti, M.; Chiang, J. H. -Y.; Lafuente, A. L.
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.
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact
2020-01-01 Bartoletti, Massimo; Carta, SALVATORE MARIO; Cimoli, Tiziana; Saia, Roberto
Renegotiation and recursion in bitcoin contracts
2020-01-01 Bartoletti, M.; Murgia, M.; Zunino, R.
Smart Contracts Contracts
2020-01-01 Bartoletti, M
| Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
|---|---|---|---|---|
| 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 | - |
| Formalizing Automated Market Makers in the Lean 4 Theorem Prover | 1-gen-2024 | Pusceddu, D.; Bartoletti, M. | - | 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. |
| 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 Sound Up-to- n, δ Bisimilarity for PCTL | 1-gen-2022 | Bartoletti, M.; Murgia, M.; Zunino, R. | - | 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 | - |
| Verifying liquidity of recursive Bitcoin contracts | 1-gen-2022 | Bartoletti, M.; Lande, S.; Murgia, M.; Zunino, R. | LOGICAL METHODS IN COMPUTER SCIENCE | - |
| 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 |
| 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 | - |
| Computationally sound Bitcoin tokens | 1-gen-2021 | Bartoletti, M.; Lande, S.; Zunino, R. | - | IEEE Computer Society |
| Cryptocurrency scams: analysis and perspectives | 1-gen-2021 | Bartoletti, M.; Lande, S.; Loddo, A.; Pompianu, L.; Serusi, S. | IEEE ACCESS | - |
| 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 |
| 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 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 |
| 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 | - |
| 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 | - |