Stefano Lande

According to our database1, Stefano Lande authored at least 9 papers between 2016 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Computationally sound Bitcoin tokens.
CoRR, 2020

Bitcoin covenants unchained.
CoRR, 2020

2019
Developing secure bitcoin contracts with BitML.
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.
IACR Cryptol. ePrint Arch., 2018

2017
A Proof-of-Stake protocol for consensus on Bitcoin subchains.
IACR Cryptol. ePrint Arch., 2017

A formal model of Bitcoin transactions.
IACR Cryptol. ePrint Arch., 2017

A general framework for Bitcoin analytics.
CoRR, 2017

A general framework for blockchain analytics.
Proceedings of the 1st Workshop on Scalable and Resilient Infrastructures for Distributed Ledgers, 2017

2016
Faderank: An Incremental Algorithm for Ranking Twitter Users.
Proceedings of the Web Information Systems Engineering - WISE 2016, 2016


  Loading...