Jie Hu

Jie Hu

Postdoctoral Research Scholar, Arizona State University

SoK: A Modularized Framework for Symbolic Execution and Application for Usable Tool Design

Published in IEEE Secure Development Conference (SecDev), 2026

Recommended citation: James Mattei, Andrew Lin, Jasper Geer, Jie Hu, Moritz Schloegel, Tiffany Bao, and Daniel Votipka. "SoK: A Modularized Framework for Symbolic Execution and Application for Usable Tool Design." SecDev 2026. (to appear)