5 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.CR2023★ 5 cited
Security Analysis of Filecoin's Expected Consensus in the Byzantine vs Honest Model
Xuechao Wang, Sarah Azouvi, Marko Vukolić
Filecoin is the largest storage-based open-source blockchain, both by storage capacity (>11EiB) and market capitalization. This paper provides the first formal security analysis of…
cs.CR2022★ 3 cited
Pikachu: Securing PoS Blockchains from Long-Range Attacks by Checkpointing into Bitcoin PoW using Taproot
Sarah Azouvi, Marko Vukolić
Blockchain systems based on a reusable resource, such as proof-of-stake (PoS), provide weaker security guarantees than those based on proof-of-work. Specifically, they are vulnerab…