Stefano Lande

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 18

Top Topics

Recursive Algorithm

Coloured Petri Nets

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Massimo Bartoletti, Stefano Lande, Maurizio Murgia, Roberto Zunino
Verifying liquidity of recursive Bitcoin contracts. Log. Methods Comput. Sci. 18 (1) (2022)
Massimo Bartoletti, Stefano Lande, Andrea Loddo, Livio Pompianu, Sergio Serusi
Cryptocurrency Scams: Analysis and Perspectives. IEEE Access 9 (2021)
Massimo Bartoletti, Stefano Lande, Roberto Zunino
Computationally sound Bitcoin tokens. CSF (2021)
Massimo Bartoletti, Stefano Lande, Roberto Zunino
Bitcoin Covenants Unchained. ISoLA (3) (2020)
Massimo Bartoletti, Stefano Lande, Roberto Zunino
Computationally sound Bitcoin tokens. CoRR (2020)
Massimo Bartoletti, Stefano Lande, Roberto Zunino
Bitcoin covenants unchained. CoRR (2020)
Massimo Bartoletti, Stefano Lande, Maurizio Murgia, Roberto Zunino
Verification of recursive Bitcoin contracts. CoRR (2020)
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, Roberto Zunino
Developing secure Bitcoin contracts with BitML. CoRR (2019)
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, Roberto Zunino
Developing secure bitcoin contracts with BitML. ESEC/SIGSOFT FSE (2019)
Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli, Stefano Lande, Roberto Zunino
SoK: unraveling Bitcoin smart contracts. IACR Cryptol. ePrint Arch. 2018 (2018)
Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli, Stefano Lande, Roberto Zunino
SoK: Unraveling Bitcoin Smart Contracts. POST (2018)
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Roberto Zunino
A Formal Model of Bitcoin Transactions. Financial Cryptography (2018)
Massimo Bartoletti, Andrea Bracciali, Stefano Lande, Livio Pompianu
A general framework for Bitcoin analytics. CoRR (2017)
Massimo Bartoletti, Stefano Lande, Alessandro Sebastian Podda
A Proof-of-Stake protocol for consensus on Bitcoin subchains. IACR Cryptol. ePrint Arch. 2017 (2017)
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Roberto Zunino
A formal model of Bitcoin transactions. IACR Cryptol. ePrint Arch. 2017 (2017)
Massimo Bartoletti, Stefano Lande, Livio Pompianu, Andrea Bracciali
A general framework for blockchain analytics. SERIAL@Middleware (2017)
Massimo Bartoletti, Stefano Lande, Alessandro Sebastian Podda
A Proof-of-Stake Protocol for Consensus on Bitcoin Subchains. Financial Cryptography Workshops (2017)
Massimo Bartoletti, Stefano Lande, Alessandro Massa
Faderank: An Incremental Algorithm for Ranking Twitter Users. WISE (2) (2016)