Follow
Heqing HUANG
Title
Cited by
Cited by
Year
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
832020
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
782022
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
162021
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
152021
Fast bit-vector satisfiability
P Yao, Q Shi, H Huang, C Zhang
Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020
112020
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
92021
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
82017
Balance seed scheduling via monte carlo planning
H Huang, HC Chiu, Q Shi, P Yao, C Zhang
IEEE Transactions on Dependable and Secure Computing, 2023
52023
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
12024
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
12024
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), 59-59, 2023
12023
SAND: Decoupling Sanitization from Fuzzing for Low Overhead
Z Kong, S Li, H Huang, Z Su
arXiv preprint arXiv:2402.16497, 2024
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
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–16