Sfoglia per Autore
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.
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.
A Theory of Automated Market Makers in DeFi
2021-01-01 Bartoletti, M.; Chiang, J. H. -Y.; Lluch-Lafuente, A.
Towards a Theory of 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.
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.
Smart Contracts Contracts
2020-01-01 Bartoletti, M
Renegotiation and recursion in bitcoin contracts
2020-01-01 Bartoletti, M.; Murgia, M.; Zunino, R.
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact
2020-01-01 Bartoletti, Massimo; Carta, SALVATORE MARIO; Cimoli, Tiziana; Saia, Roberto
Bitcoin Covenants Unchained
2020-01-01 Bartoletti, M.; Lande, S.; Zunino, R.
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
| Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
|---|---|---|---|---|
| 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 | - |
| 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 | - |
| A Theory of Automated Market Makers in DeFi | 1-gen-2021 | Bartoletti, M.; Chiang, J. H. -Y.; Lluch-Lafuente, A. | - | Springer |
| 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 |
| 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 | - |
| 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 |
| 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 |
| 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 | - |
| Bitcoin Covenants Unchained | 1-gen-2020 | Bartoletti, M.; Lande, S.; Zunino, R. | - | Springer |
| 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 | - |
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