Stefano Lande

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