LLM-Powered Static Binary Taint Analysis.
,
,
,
,
,
,
,
,
,
,
ACM Trans. Softw. Eng. Methodol., March, 2025
T-Rec: Fine-Grained Language-Agnostic Program Reduction Guided by Lexical Syntax.
ACM Trans. Softw. Eng. Methodol., February, 2025
Automated Flaw Detection for Industrial Robot RESTful Service.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025
Battling against Protocol Fuzzing: Protecting Networked Embedded Devices from Dynamic Fuzzers.
ACM Trans. Softw. Eng. Methodol., May, 2024
Adversarial Attack against Intrusion Detectors in Cyber-Physical Systems With Minimal Perturbations.
Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2024
MSGFuzzer: Message Sequence Guided Industrial Robot Protocol Fuzzing.
Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024
UCRF: Static analyzing firmware to generate under-constrained seed for fuzzing SOHO router.
Comput. Secur., May, 2023
Harnessing the Power of LLM to Support Binary Taint Analysis.
CoRR, 2023
MESCAL: Malicious Login Detection Based on Heterogeneous Graph Embedding with Supervised Contrastive Learning.
Proceedings of the IEEE Symposium on Computers and Communications, 2023
FITS: Inferring Intermediate Taint Sources for Effective Vulnerability Analysis of IoT Device Firmware.
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023
Fuzzing proprietary protocols of programmable controllers to find vulnerabilities that affect physical control.
J. Syst. Archit., 2022
Finding Vulnerabilities in Internal-binary of Firmware with Clues.
Proceedings of the IEEE International Conference on Communications, 2022
ICS3Fuzzer: A Framework for Discovering Protocol Implementation Bugs in ICS Supervisory Software by Fuzzing.
Proceedings of the ACSAC '21: Annual Computer Security Applications Conference, Virtual Event, USA, December 6, 2021
DSS: Discrepancy-Aware Seed Selection Method for ICS Protocol Fuzzing.
Proceedings of the Applied Cryptography and Network Security, 2021