Abstract is missing.
- Formal Is Fast: Cryptographic Code in the Age of AI (Keynote)Roderick Chapman. 1 [doi]
- Mapping and Bridging the Software Understanding Gap (Keynote)Sergey Bratus. 2 [doi]
- SGX-MB: A Secure Framework for Middleboxes Leveraging Intel SGXMahmoud Hofny, Lianying Zhao, Amr Youssef 0001. 3-13 [doi]
- Origin Story: A Comprehensive Lifecycle Analysis of Same-Origin Policy BugsJakub Szymsza, Gertjan Franken, Vik Vanderlinden, Tom van Goethem, Mathy Vanhoef, Lieven Desmet. 14-29 [doi]
- CFIghter: Automated Control-Flow Integrity Enablement and Evaluation for Legacy C/C++ SystemsSabine Houy, Bruno Kreyssig, Alexandre Bartel. 30-43 [doi]
- ASN1spect: Uncovering ASN.1 Compiler-Generated Vulnerabilities in Critical InfrastructureSeaver Thorn, Nathaniel Bennett, Kevin R. B. Butler, Patrick Traynor, William Enck. 44-56 [doi]
- SoK: A Modularized Framework for Symbolic Execution and Application for Usable Tool DesignJames Mattei, Andrew Lin, Jasper Geer, Jie Hu, Moritz Schloegel, Tiffany Bao, Daniel Votipka. 57-73 [doi]
- On the Variability of Source Code in Maven Package RebuildsJens Dietrich 0001, Behnaz Hassanshahi. 74-80 [doi]
- At the Precipice of Integrity Protection using Pointer AuthenticationViorel Preoteasa, Carlos Chinea Perez, Hans Liljestrand, Jan-Erik Ekberg. 81-90 [doi]
- Adversarially Mixed Secret Key Generation for Side-Channel Defense for the CloudVenkat Sai Suman Lamba Karanam, Zahmeeth Sayed Sakkaff, Pasindu Balasooriyalage. 91-97 [doi]
- RepliGuard: Policy-Driven Replica Management Framework for Protecting against Acoustic AttacksJennifer Sheldon, Yungwoo Ko, Sri Hrushikesh Varma Bhupathiraju, Sara Osmanovic, Weidong Zhu 0002, Md Jahidul Islam, Sara Rampazzi. 98-110 [doi]
- SoK: A Comprehensive Analysis of the Current Status of Neural Tangent Generalization Attacks with Research DirectionsThushari Hapuarachchi, Kaiqi Xiong. 111-123 [doi]
- A Technology-Readiness Evaluation of Private Set IntersectionWout Ceulemans, Pieter Philippaerts, Dimitri Van Landuyt, Wouter Joosen. 124-134 [doi]
- SafeAIMerge: A Tool for Integrating DAST and LLM-Generated Security Feedback into GitHub Actions WorkflowsArpit Thool, Justin Smith, Chris Brown. 135-146 [doi]
- Reality Check: Independent Evaluation of Modern Grey-Box Fuzzing TechniquesPavel Frolikov. 147-151 [doi]
- Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL TranslationPriscilla Kyei Danso, Mohammad Saqib Hasan, Niranjan Balasubramanian, Omar Chowdhury. 152-168 [doi]
- A CNN-LSTM Security Model for SCADA NetworkOlga Dye, Brian Dye. 169-171 [doi]
- Augment Mutual TLS Authentication with HW Rooted Identity: Simplified Device Lifecycle and InteroperabilityDhananjay Phadke, Xiling Sun. 172-174 [doi]
- Cloud Safety: A Hardware PerspectiveRaghudeep Kannavara, Matthew Dickinson, Monty Wiseman. 175-180 [doi]
- OpenClaw RedTeam Recon: A Local OSS-LLM-Powered Autonomous Reconnaissance AgentMarcelo Garcia, Robson de Oliveira Albuquerque. 181-183 [doi]