187 citations · 229 across the 9 of their papers we have counts for
12 papers
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…
Base Fee Manipulation In Ethereum's EIP-1559 Transaction Fee Mechanism
Sarah Azouvi, Guy Goren, Lioba Heimbach +1
In 2021 Ethereum adjusted the transaction pricing mechanism by implementing EIP-1559, which introduces the base fee - a network fee that is burned and dynamically adjusts to the ne…
Modeling Resources in Permissionless Longest-chain Total-order Broadcast
Sarah Azouvi, Christian Cachin, Duc V. Le +2
Blockchain protocols implement total-order broadcast in a permissionless setting, where processes can freely join and leave. In such a setting, to safeguard against Sybil attacks,…
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…
Decentralisation Conscious Players And System Reliability
Sarah Azouvi, Alexander Hicks
We propose a game-theoretic model of the reliability of decentralised systems based on Varian's model of system reliability, to which we add a new normalised total effort case that…
Sliding Window Challenge Process for Congestion Detection
Ayelet Lotem, Sarah Azouvi, Patrick McCorry +1
Many prominent smart-contract applications such as payment channels, auctions, and voting systems often involve a mechanism in which some party must respond to a challenge or appea…
Private Attacks in Longest Chain Proof-of-stake Protocols with Single Secret Leader Elections
Sarah Azouvi, Daniele Cappelletti
Single Secret Leader Elections have recently been proposed as an improved leader election mechanism for proof-of-stake (PoS) blockchains. However, the security gain they provide ha…
SoK: Tools for Game Theoretic Models of Security for Cryptocurrencies
Sarah Azouvi, Alexander Hicks
Cryptocurrencies have garnered much attention in recent years, both from the academic community and industry. One interesting aspect of cryptocurrencies is their explicit considera…
Incentivising Privacy in Cryptocurrencies
Sarah Azouvi, Haaroon Yousaf, Alexander Hicks
Privacy was one of the key points mentioned in Nakamoto's Bitcoin whitepaper, and one of the selling points of Bitcoin in its early stages. In hindsight, however, de-anonymising Bi…
Betting on Blockchain Consensus with Fantomette
Sarah Azouvi, Patrick McCorry, Sarah Meiklejohn
Blockchain-based consensus protocols present the opportunity to develop new protocols, due to their novel requirements of open participation and explicit incentivization of partici…
Winning the Caucus Race: Continuous Leader Election via Public Randomness
Sarah Azouvi, Patrick McCorry, Sarah Meiklejohn
Consensus protocols inherently rely on the notion of leader election, in which one or a subset of participants are temporarily elected to authorize and announce the network's lates…
Consensus in the Age of Blockchains
Shehar Bano, Alberto Sonnino, Mustafa Al-Bassam +4
The blockchain initially gained traction in 2008 as the technology underlying bitcoin, but now has been employed in a diverse range of applications and created a global market wort…