We stand with Ukraine  

Stefano Lande

Orcid: 0000-0003-0551-0790

According to our database1, Stefano Lande authored at least 12 papers between 2016 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Verifying liquidity of recursive Bitcoin contracts.
[BibTeX]
[DOI]
Massimo Bartoletti
,
Stefano Lande
,
Maurizio Murgia
,
Roberto Zunino
Log. Methods Comput. Sci., 2022

2021
Cryptocurrency Scams: Analysis and Perspectives.
[BibTeX]
[DOI]
Massimo Bartoletti
,
Stefano Lande
,
Andrea Loddo
,
Livio Pompianu
,
Sergio Serusi
IEEE Access, 2021

Computationally sound Bitcoin tokens.
[BibTeX]
[DOI]
Massimo Bartoletti
,
Stefano Lande
,
Roberto Zunino
Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020
Verification of recursive Bitcoin contracts.
[BibTeX]
[DOI]
Massimo Bartoletti
,
Stefano Lande
,
Maurizio Murgia
,
Roberto Zunino
CoRR, 2020

Bitcoin Covenants Unchained.
[BibTeX]
[DOI]
Massimo Bartoletti
,
Stefano Lande
,
Roberto Zunino
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

2019
Developing secure bitcoin contracts with BitML.
[BibTeX]
[DOI]
Nicola Atzei
,
Massimo Bartoletti
,
Stefano Lande
,
Nobuko Yoshida
,
Roberto Zunino
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

2018
SoK: unraveling Bitcoin smart contracts.
[BibTeX]
[DOI]
Nicola Atzei
,
Massimo Bartoletti
,
Tiziana Cimoli
,
Stefano Lande
,
Roberto Zunino
IACR Cryptol. ePrint Arch., 2018

2017
A Proof-of-Stake protocol for consensus on Bitcoin subchains.
[BibTeX]
[DOI]
Massimo Bartoletti
,
Stefano Lande
,
Alessandro Sebastian Podda
IACR Cryptol. ePrint Arch., 2017

A formal model of Bitcoin transactions.
[BibTeX]
[DOI]
Nicola Atzei
,
Massimo Bartoletti
,
Stefano Lande
,
Roberto Zunino
IACR Cryptol. ePrint Arch., 2017

A general framework for Bitcoin analytics.
[BibTeX]
[DOI]
Massimo Bartoletti
,
Andrea Bracciali
,
Stefano Lande
,
Livio Pompianu
CoRR, 2017

A general framework for blockchain analytics.
[BibTeX]
[DOI]
Massimo Bartoletti
,
Stefano Lande
,
Livio Pompianu
,
Andrea Bracciali
Proceedings of the 1st Workshop on Scalable and Resilient Infrastructures for Distributed Ledgers, 2017

2016
Faderank: An Incremental Algorithm for Ranking Twitter Users.
[BibTeX]
[DOI]
Massimo Bartoletti
,
Stefano Lande
,
Alessandro Massa
Proceedings of the Web Information Systems Engineering - WISE 2016, 2016


  Loading...