Biblio

Export 1 results:
Filters: Author is Dan Qiao  [Clear All Filters]
2022
Zhou S, Yang Z, Qiao D, Liu P, Yang M, Wang Z, Wu C.  2022.  Ferry: State-Aware Symbolic Execution for Exploring State-Dependent Program Paths. 31st USENIX Security Symposium (USENIX Security 22). :4365--4382.