Ben Weintraub

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 11

Top Topics

Protocol Specification

Formal Analysis

Finite State Machines

Functional Decomposition

Top Venues

IEEE Symposium on Security and Privacy

EuroS&P Workshops

Publications

Ben Weintraub, Satwik Prabhu Kumble, Cristina Nita-Rotaru, Stefanie Roos
Payout Races and Congested Channels: A Formal Analysis of Security in the Lightning Network. CoRR (2024)
Christof Ferreira Torres, Albin Mamuti, Ben Weintraub, Cristina Nita-Rotaru, Shweta Shinde
Rolling in the Shadows: Analyzing the Extraction of MEV Across Layer-2 Rollups. CoRR (2024)
Iffat Anjum, Jessica Sokal, Hafiza Ramzah Rehman, Ben Weintraub, Ethan Leba, William Enck, Cristina Nita-Rotaru, Bradley Reaves
MSNetViews: Geographically Distributed Management of Enterprise Network Security Policy. SACMAT (2023)
Maria Leonor Pacheco, Max von Hippel, Ben Weintraub, Dan Goldwasser, Cristina Nita-Rotaru
Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents. CoRR (2022)
Ben Weintraub, Christof Ferreira Torres, Cristina Nita-Rotaru, Radu State
A flash(bot) in the pan: measuring maximal extractable value in private pools. IMC (2022)
Maria Leonor Pacheco, Max von Hippel, Ben Weintraub, Dan Goldwasser, Cristina Nita-Rotaru
Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents. IEEE Symposium on Security and Privacy (2022)
Kyle Hogan, Sacha Servan-Schreiber, Zachary Newman, Ben Weintraub, Cristina Nita-Rotaru, Srinivas Devadas
ShorTor: Improving Tor Network Latency via Multi-hop Overlay Routing. CoRR (2022)
Ben Weintraub, Christof Ferreira Torres, Cristina Nita-Rotaru, Radu State
A Flash(bot) in the Pan: Measuring Maximal Extractable Value in Private Pools. CoRR (2022)
Kyle Hogan, Sacha Servan-Schreiber, Zachary Newman, Ben Weintraub, Cristina Nita-Rotaru, Srinivas Devadas
ShorTor: Improving Tor Network Latency via Multi-hop Overlay Routing. IEEE Symposium on Security and Privacy (2022)
Ben Weintraub, Cristina Nita-Rotaru
Structural Attacks on Local Routing in Payment Channel Networks. EuroS&P Workshops (2021)
Ben Weintraub, Cristina Nita-Rotaru, Stefanie Roos
Exploiting Centrality: Attacks in Payment Channel Networks with Local Routing. CoRR (2020)