3 papers
A Formally Verified Lightning Network
Grzegorz Fabiański, Rafał Stefański, Orfeas Stefanos Thyfronitis Litos
In this work we use formal verification to prove that the Lightning Network (LN), the most prominent scaling technique for Bitcoin, always safeguards the funds of honest users. We…
Bitcoin Staking
Xinshu Dong, Orfeas Stefanos Thyfronitis Litos, Ertem Nusret Tas +4
The idea of security sharing goes back to Nakamoto's introduction of merge mining, a technique that enables Bitcoin miners to reuse their hash power to bootstrap and secure other P…
A Puff of Steem: Security Analysis of Decentralized Content Curation
Aggelos Kiayias, Benjamin Livshits, Andrés Monteoliva Mosteiro +1
Decentralized content curation is the process through which uploaded posts are ranked and filtered based exclusively on users' feedback. Platforms such as the blockchain-based Stee…