Ben Weintraub, Chanyuan Liu, William Enck, and Cristina Nita-Rotaru. 2025. ProfessorX: Detecting Silent Vulnerabilities in Policy Engine Implementations. In Proceedings of the 30th ACM Symposium on Access Control Models and Technologies (SACMAT '25), July 8–10, 2025, Stony Brook, NY, USA. ACM, New York, NY, USA, 12 pages. https://doi.org/10.1145/3734436.3734446
Ben Weintraub, Satwik Prabhu Kumble, Cristina Nita-Rotaru, and Stefanie Roos. 2024. Payout Races and Congested Channels: A Formal Analysis of Security in the Lightning Network. In Proceedings of the 2024 ACM SIGSAC Conference on Computer and Communications Security (CCS ’24), October 14–18, 2024, Salt Lake City, UT, USA. ACM, New York, NY, USA, 15 pages. https://doi.org/10.1145/3658644.3670315
Ben Weintraub, Jiwon Kim, Ran Tao, Cristina Nita-Rotaru, Hamed Okhravi, Dave (Jing) Tian, and Benjamin E. Ujcich. 2024. Exploiting Temporal Vulnerabilities for Unauthorized Access in Intent-Based Networking. In Proceedings of the 2024 ACM SIGSAC Conference on Computer and Communications Security (CCS ’24), October 14–18, 2024, Salt Lake City, UT, USA. ACM, New York, NY, USA, 15 pages. https://doi.org/10.1145/3658644.3670301
Best Applied Research Paper Christof Ferreira Torres, Albin Mamuti, Ben Weintraub, Cristina Nita-Rotaru, and Shweta Shinde. 2024. Rolling in the Shadows: Analyzing the Extraction of MEV Across Layer-2 Rollups. In Proceedings of the 2024 ACM SIGSAC Conference on Computer and Communications Security (CCS ’24), October 14–18, 2024, Salt Lake City, UT, USA. ACM, New York, NY, USA, 15 pages. https://doi.org/10.1145/3658644.3690259
Best Paper Runner Up Iffat Anjum, Jessica Sokal, Hafiza Ramzah Rehman, Ben Weintraub, Ethan Leba, William Enck, Cristina Nita-Rotaru, & Bradley Reaves. (2023). MSNetViews: Geographically Distributed Management of Enterprise Network Security Policy. Proceedings of the 28th ACM Symposium on Access Control Models and Technologies, 121–132. https://doi.org/10.1145/3589608.3593836
Ben Weintraub, Christof Ferreira Torres, Cristina Nita-Rotaru, Radu State. (2022). A Flash(bot) in the Pan: Measuring Maximal Extractable Value in Private Pools. Proceedings of the 22nd ACM Internet Measurement Conference (IMC ’22). Internet Measurement Conference, Nice, France. https://doi.org/10.1145/3517745.3561448
Maria Pacheco, Max von Hippel, Ben Weintraub, Cristina Nita-Rotaru, Dan Goldwasser. (2022). Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents. IEEE Security & Privacy 2022, 18.
Ben Weintraub, Cristina Nita-Rotaru, and Stefanie Roos. (2021). Structural Attacks on Local Routing in Payment Channel Networks. Workshop on Security & Privacy on the Blockchain, 362–374. https://doi.org/10.1109/EuroSPW54576.2021.00046
Ben Goerdt, Amer Dababneh, Timothy Marler, Ibrahim Ozbolat, Ben Weintraub, and Ross Johnson. (2013, 15-21 November). Integration of a Reliability Model Within a Virtual Analysis System For Printed Circuit Boards. Paper presented at the ASME International Mechanical Engineering Congress and Exposition, San Diego, California USA