cozy: Comparative Symbolic Execution for Binary Programs
Caleb Helbling, Graham Leach-Krouse, Sam Lasser, Greg Sullivan (Draper)
More DetailsWorkshop on Binary Analysis Research (BAR) 2025 Accepted Papers
View the detailed program page to learn when each paper will be presented during the upcoming event.
dAngr: Lifting Software Debugging to a Symbolic Level
Dairo de Ruck, Jef Jacobs, Jorn Lapon, Vincent Naessens (DistriNet, KU Leuven, 3001 Leuven,...
More DetailsDRAGON: Predicting Decompiled Variable Data Types with Learned...
Caleb Stewart, Rhonda Gaede, Jeffrey Kulick (University of Alabama in Huntsville)
More DetailsHow Different Tokenization Algorithms Impact LLMs and Transformer...
Ahmed Mostafa, Raisul Arefin Nahid, Samuel Mulder (Auburn University)
More DetailsInspecting Compiler Optimizations on Mixed Boolean Arithmetic Obfuscation
Rachael Little, Dongpeng Xu (University of New Hampshire)
More DetailsTarget-Centric Firmware Rehosting with Penguin
Andrew Fasano, Zachary Estrada, Luke Craig, Ben Levy, Jordan McLeod, Jacques Becker, Elysia Witham,...
More DetailsTowards Better CFG Layouts
Jack Royer (CentraleSupélec), Frédéric TRONEL (CentraleSupélec, Inria, CNRS, University of Rennes), Yaëlle Vinçont (Univ...
More DetailsTrim My View: An LLM-Based Code Query System...
Sima Arasteh (University of Southern California), Pegah Jandaghi, Nicolaas Weideman (University of Southern California/Information...
More Details