LANDE, STEFANO

LANDE, STEFANO  

DIPARTIMENTO DI MATEMATICA ED INFORMATICA  

Mostra records
Risultati 1 - 12 di 12 (tempo di esecuzione: 0.023 secondi).
Titolo Data di pubblicazione Autore(i) Rivista Editore
Bitcoin Covenants Unchained 1-gen-2020 Bartoletti, M.; Lande, S.; Zunino, R. - Springer
Computationally sound Bitcoin tokens 1-gen-2021 Bartoletti, M.; Lande, S.; Zunino, R. - IEEE Computer Society
Contract-oriented programming with timed session types 1-gen-2017 Atzei, N.; Bartoletti, M.; Cimoli, T.; Lande, S.; Murgia, M.; Podda, A. S.; Pompianu, L. - River Publishers
Cryptocurrency scams: analysis and perspectives 1-gen-2021 Bartoletti, M.; Lande, S.; Loddo, A.; Pompianu, L.; Serusi, S. IEEE ACCESS -
Developing secure bitcoin contracts with BitML 1-gen-2019 Atzei, N.; Bartoletti, M.; Lande, S.; Yoshida, N.; Zunino, R. - Association for Computing Machinery
Faderank: an incremental algorithm for ranking Twitter users 1-gen-2016 Bartoletti, Massimo; Lande, Stefano; Massa, A. - -
Formal Methods for Secure Bitcoin Smart Contracts 21-apr-2021 - - Università degli Studi di Cagliari
A Formal Model of Bitcoin Transactions 1-gen-2018 Atzei, N.; Bartoletti, M.; Lande, S.; Zunino, R. - Springer
A general framework for blockchain analytics 1-gen-2017 Bartoletti, Massimo; Lande, Stefano; Pompianu, Livio; Bracciali, Andrea - Association for Computing Machinery (ACM)
A Proof-of-Stake protocol for consensus on Bitcoin subchains 1-gen-2017 Bartoletti, Massimo; Lande, Stefano; Podda, Alessandro Sebastian LECTURE NOTES IN COMPUTER SCIENCE Springer
SoK: Unraveling bitcoin smart contracts 1-gen-2018 Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana; Lande, Stefano; Zunino, Roberto - Springer
VERIFYING LIQUIDITY OF RECURSIVE BITCOIN CONTRACTS 1-gen-2022 Bartoletti, M.; Lande, S.; Murgia, M.; Zunino, R. LOGICAL METHODS IN COMPUTER SCIENCE -