76 citations · 78 across the 5 of their papers we have counts for
4 papers · 1 filter
Payout Races and Congested Channels: A Formal Analysis of Security in the Lightning Network
Ben Weintraub, Satwik Prabhu Kumble, Cristina Nita-Rotaru +1
The Lightning Network, a payment channel network with a market cap of over 192M USD, is designed to resolve Bitcoin's scalability issues through fast off-chain transactions. There…
Rolling in the Shadows: Analyzing the Extraction of MEV Across Layer-2 Rollups
Christof Ferreira Torres, Albin Mamuti, Ben Weintraub +2
The emergence of decentralized finance has transformed asset trading on the blockchain, making traditional financial instruments more accessible while also introducing a series of…
A Flash(bot) in the Pan: Measuring Maximal Extractable Value in Private Pools
Ben Weintraub, Christof Ferreira Torres, Cristina Nita-Rotaru +1
The rise of Ethereum has lead to a flourishing decentralized marketplace that has, unfortunately, fallen victim to frontrunning and Maximal Extractable Value (MEV) activities, wher…
Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents
Maria Leonor Pacheco, Max von Hippel, Ben Weintraub +2
Automated attack discovery techniques, such as attacker synthesis or model-based fuzzing, provide powerful ways to ensure network protocols operate correctly and securely. Such tec…