| Beacon: Directed grey-box fuzzing with provable path pruning H Huang, Y Guo, Q Shi, P Yao, R Wu, C Zhang 2022 IEEE Symposium on Security and Privacy (SP), 36-50, 2022 | 92 | 2022 |
| Pangolin: Incremental hybrid fuzzing with polyhedral path abstraction H Huang, P Yao, R Wu, Q Shi, C Zhang 2020 IEEE Symposium on Security and Privacy (SP), 1613-1627, 2020 | 91 | 2020 |
| Fuzzing SMT solvers via two-dimensional input space exploration P Yao, H Huang, W Tang, Q Shi, R Wu, C Zhang Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021 | 17 | 2021 |
| Skeletal approximation enumeration for smt solver testing P Yao, H Huang, W Tang, Q Shi, R Wu, C Zhang Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021 | 15 | 2021 |
| Program analysis via efficient symbolic abstraction P Yao, Q Shi, H Huang, C Zhang Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-32, 2021 | 11 | 2021 |
| Fast bit-vector satisfiability P Yao, Q Shi, H Huang, C Zhang Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020 | 11 | 2020 |
| A whole-process WiFi security perception software system H Huang, Y Hu, Y Ja, S Ao 2017 International conference on circuits, system and simulation (ICCSS …, 2017 | 10 | 2017 |
| Titan: efficient multi-target directed greybox fuzzing H Huang, P Yao, HC Chiu, Y Guo, C Zhang 2024 IEEE Symposium on Security and Privacy (SP), 1849-1864, 2024 | 7 | 2024 |
| Balance seed scheduling via monte carlo planning H Huang, HC Chiu, Q Shi, P Yao, C Zhang IEEE Transactions on Dependable and Secure Computing 21 (3), 1469-1483, 2023 | 6 | 2023 |
| GIANTSAN: Efficient Memory Sanitization with Segment Folding H Ling, H Huang, C Wang, Y Cai, C Zhang Proceedings of the 29th ACM International Conference on Architectural …, 2024 | 4 | 2024 |
| Plankton: Reconciling Binary Code and Debug Information A Zhou, C Ye, H Huang, Y Cai, C Zhang Proceedings of the 29th ACM International Conference on Architectural …, 2024 | 2 | 2024 |
| Everything is Good for Something: Counterexample-Guided Directed Fuzzing via Likely Invariant Inference H Huang, A Zhou, M Payer, C Zhang 2024 IEEE Symposium on Security and Privacy (SP), 142-142, 2024 | 1 | 2024 |
| ICSFuzz: Collision Detector Bug Discovery in Autonomous Driving Simulators W Fu, H Huang, Y Zhang, K Zhang, J Huang, WB Lee, J Wang arXiv preprint arXiv:2408.05694, 2024 | | 2024 |
| Mole: Efficient Crash Reproduction in Android Applications with Enforcing Necessary UI Events M Masoudian, H Huang, M Amini, C Zhang IEEE Transactions on Software Engineering, 2024 | | 2024 |
| Manta: Hybrid-Sensitive Type Inference Toward Type-Assisted Bug Detection for Stripped Binaries C Ye, Y Cai, A Zhou, H HUANG, H Ling, C Zhang 30th ACM International Conference on Architectural Support for Programming …, 2024 | | 2024 |
| SAND: Decoupling Sanitization from Fuzzing for Low Overhead Z Kong, S Li, H Huang, Z Su arXiv preprint arXiv:2402.16497, 2024 | | 2024 |
| Enhance Fuzzing Testing with Static Program Analysis H Huang PQDT-Global, 2022 | | 2022 |
| Program Analysis via E icient Symbolic Abstraction P YAO, Q SHI, H HEQING, Z CHARLES | | 2021 |
| Program Analysis via E icient Symbolic Abstraction (Extended Version) P YAO, Q SHI, H HEQING, Z CHARLES | | 2021 |
Charles ZhangProfessor of Computer Science, HKUSTVerified email at cse.ust.hk
