Zunino, Roberto

Zunino, Roberto  

DIPARTIMENTO DI MATEMATICA ED INFORMATICA  

Mostra records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.012 secondi).
Titolo Data di pubblicazione Autore(i) Rivista Editore
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