Powered by
2026 ACM Secure Development Conference (SecDev 2026), July 5–6, 2026,
Montreal, QC, Canada
Frontmatter
Sponsors
Article: fsesecdev26foreword-fm003-p
Papers
SoK: A Modularized Framework for Symbolic Execution and Application for Usable Tool Design
James Mattei,
Andrew Lin,
Jasper Geer,
Jie Hu,
Moritz Schloegel,
Tiffany Bao, and
Daniel Votipka
(Tufts University, USA; University of British Columbia, Canada; Arizona State University, USA; CISPA Helmholtz Center for Information Security, Germany)
Article Search
Article: fsesecdev26main-p17-p
Practitioner Papers
proc time: 8.24