Zhemin Qiao [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
Ferry: State-Aware Symbolic Execution for Exploring State-Dependent Program Paths USENIX Security-2022 - Boston, MA Software Security