Tod Amon (Sandia National Laboratories), Tim Loffredo (Sandia National Laboratories)
Creating Human Readable Path Constraints from Symbolic Execution
View More Papers
DITTANY: Strength-Based Dynamic Information Flow Analysis Tool for x86...
Walid J. Ghandour, Clémentine Maurice (CNRS, CRIStAL)
Read MoreTrim My View: An LLM-Based Code Query System for...
Sima Arasteh (University of Southern California), Pegah Jandaghi, Nicolaas Weideman (University of Southern California/Information Sciences Institute), Dennis Perepech, Mukund Raghothaman (University of Southern California), Christophe Hauser (Dartmouth College), Luis Garcia (University of Utah Kahlert School of Computing)
Read MoreTarget-Centric Firmware Rehosting with Penguin
Andrew Fasano, Zachary Estrada, Luke Craig, Ben Levy, Jordan McLeod, Jacques Becker, Elysia Witham, Cole DiLorenzo, Caden Kline, Ali Bobi (MIT Lincoln Laboratory), Dinko Dermendzhiev (Georgia Institute of Technology), Tim Leek (MIT Lincoln Laboratory), William Robertson (Northeastern University)
Read MoreicLibFuzzer: Isolated-context libFuzzer for Improving Fuzzer Comparability
Yu-Chuan Liang, Hsu-Chun Hsiao (National Taiwan University)
Read More