BARTOLETTI, MASSIMO
BARTOLETTI, MASSIMO
DIPARTIMENTO DI MATEMATICA ED INFORMATICA
Certified Algorithms for Numerical Semigroups in Rocq
2025-01-01 Bartoletti, Massimo; Bonzio, Stefano; Ferrara, Marco
DeFi Composability as MEV Non-interference
2025-01-01 Bartoletti, M.; Marchesin, R.; Zunino, R.
Scalable UTXO smart contracts via fine-grained distributed state
2025-01-01 Bartoletti, Massimo; Marchesin, Riccardo; Zunino, Roberto
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.
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.
Maximizing Extractable Value from Automated Market Makers
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.
| Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
|---|---|---|---|---|
| Certified Algorithms for Numerical Semigroups in Rocq | 1-gen-2025 | Bartoletti, Massimo; Bonzio, Stefano; Ferrara, Marco | - | Springer Cham |
| DeFi Composability as MEV Non-interference | 1-gen-2025 | Bartoletti, M.; Marchesin, R.; Zunino, R. | - | Springer Science and Business Media Deutschland GmbH |
| Scalable UTXO smart contracts via fine-grained distributed state | 1-gen-2025 | Bartoletti, Massimo; Marchesin, Riccardo; Zunino, Roberto | FUTURE GENERATION COMPUTER SYSTEMS | - |
| 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 |
| 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 | - |
| 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 |
| 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 |