Follow
Heqing HUANG
Title
Cited by
Cited by
Year
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
1022022
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
932020
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
222021
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
192021
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
132021
Fast bit-vector satisfiability
P Yao, Q Shi, H Huang, C Zhang
Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020
122020
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
102017
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
72024
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
72023
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
42024
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
32024
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
22024
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
The system can't perform the operation now. Try again later.
Articles 1–19