LANDE, STEFANO
LANDE, STEFANO
DIPARTIMENTO DI MATEMATICA ED INFORMATICA
Verifying liquidity of recursive Bitcoin contracts
2022-01-01 Bartoletti, M.; Lande, S.; Murgia, M.; Zunino, R.
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.
Formal Methods for Secure Bitcoin Smart Contracts
2021-04-20
Bitcoin Covenants Unchained
2020-01-01 Bartoletti, M.; Lande, S.; Zunino, R.
Developing secure bitcoin contracts with BitML
2019-01-01 Atzei, N.; Bartoletti, M.; Lande, S.; Yoshida, N.; Zunino, R.
A Formal Model of Bitcoin Transactions
2018-01-01 Atzei, N.; Bartoletti, M.; Lande, S.; Zunino, R.
SoK: Unraveling bitcoin smart contracts
2018-01-01 Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana; Lande, Stefano; Zunino, Roberto
A general framework for blockchain analytics
2017-01-01 Bartoletti, Massimo; Lande, Stefano; Pompianu, Livio; Bracciali, Andrea
A Proof-of-Stake protocol for consensus on Bitcoin subchains
2017-01-01 Bartoletti, Massimo; Lande, Stefano; Podda, Alessandro Sebastian
Contract-oriented programming with timed session types
2017-01-01 Atzei, N.; Bartoletti, M.; Cimoli, T.; Lande, S.; Murgia, M.; Podda, A. S.; Pompianu, L.
Faderank: an incremental algorithm for ranking Twitter users
2016-01-01 Bartoletti, Massimo; Lande, Stefano; Massa, A.
| Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
|---|---|---|---|---|
| Verifying liquidity of recursive Bitcoin contracts | 1-gen-2022 | Bartoletti, M.; Lande, S.; Murgia, M.; Zunino, R. | LOGICAL METHODS IN COMPUTER SCIENCE | - |
| 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 | - |
| Formal Methods for Secure Bitcoin Smart Contracts | 20-apr-2021 | - | - | Università degli Studi di Cagliari |
| Bitcoin Covenants Unchained | 1-gen-2020 | Bartoletti, M.; Lande, S.; 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 Formal Model of Bitcoin Transactions | 1-gen-2018 | Atzei, N.; Bartoletti, M.; Lande, S.; Zunino, R. | - | Springer |
| SoK: Unraveling bitcoin smart contracts | 1-gen-2018 | Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana; Lande, Stefano; Zunino, Roberto | - | 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 |
| 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 |
| Faderank: an incremental algorithm for ranking Twitter users | 1-gen-2016 | Bartoletti, Massimo; Lande, Stefano; Massa, A. | - | - |