Zunino, Roberto

Zunino, Roberto  

DIPARTIMENTO DI MATEMATICA ED INFORMATICA  

Mostra records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.016 secondi).
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