Zunino, Roberto
Zunino, Roberto
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
Secure compilation of rich smart contracts on poor UTXO blockchains
2024-01-01 Bartoletti, M.; Marchesin, R.; Zunino, R.
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.
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.
Formal Models of Bitcoin Contracts: A Survey
2019-01-01 Bartoletti, M; Zunino, R
A Formal Model of Bitcoin Transactions
2018-01-01 Atzei, N.; Bartoletti, M.; Lande, S.; Zunino, R.
Contract-Oriented design of distributed applications: A tutorial
2017-01-01 Atzei, N.; Bartoletti, M.; Murgia, M.; Tuosto, E.; Zunino, R.
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 | - |
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. |
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 |
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 |
Formal Models of Bitcoin Contracts: A Survey | 1-gen-2019 | Bartoletti, M; Zunino, R | FRONTIERS IN BLOCKCHAIN | - |
A Formal Model of Bitcoin Transactions | 1-gen-2018 | Atzei, N.; Bartoletti, M.; Lande, S.; Zunino, R. | - | Springer |
Contract-Oriented design of distributed applications: A tutorial | 1-gen-2017 | Atzei, N.; Bartoletti, M.; Murgia, M.; Tuosto, E.; Zunino, R. | - | River Publishers |