ECG: Augmenting Embedded Operating System Fuzzing via LLM-Based Corpus Generation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024
Horus: Accelerating Kernel Fuzzing through Efficient Host-VM Memory Access Procedures.
ACM Trans. Softw. Eng. Methodol., January, 2024
Saturn: Host-Gadget Synergistic USB Driver Fuzzing.
Proceedings of the IEEE Symposium on Security and Privacy, 2024
Enhancing ROS System Fuzzing through Callback Tracing.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program.
Proceedings of the Nineteenth European Conference on Computer Systems, 2024
Effectively Sanitizing Embedded Operating Systems.
Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024
Leveraging Binary Coverage for Effective Generation Guidance in Kernel Fuzzing.
Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024
Brief Industry Paper: Directed Kernel Fuzz Testing on Real-time Linux.
Proceedings of the IEEE Real-Time Systems Symposium, 2023
Tardis: Coverage-Guided Embedded Operating System Fuzzing.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022
KSG: Augmenting Kernel Fuzzing with System Call Specification Generation.
Proceedings of the 2022 USENIX Annual Technical Conference, 2022