3 citations · 4 across the 9 of their papers we have counts for
4 papers · 1 filter
The Matrix Reloaded: A Mechanized Formal Analysis of the Matrix Cryptographic Suite
Jacob Ginesin, Cristina Nita-Rotaru
Secure instant group messaging applications such as WhatsApp, Facebook Messenger, Matrix, and the Signal Application have become ubiquitous in today's internet, cumulatively servin…
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 Formal Analysis of SCTP: Attack Synthesis and Patch Verification
Jacob Ginesin, Max von Hippel, Evan Defloor +2
SCTP is a transport protocol offering features such as multi-homing, multi-streaming, and message-oriented delivery. Its two main implementations were subjected to conformance test…