When Fuzzing Meets LLMs: Challenges and Opportunities Y Jiang, J Liang, F Ma, Y Chen, C Zhou, Y Shen, Z Wu, J Fu, M Wang, ... arXiv preprint arXiv:2404.16297, 2024 | | 2024 |
Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program H Sun, Y Xu, J Liu, Y Shen, N Guan, Y Jiang Proceedings of the Nineteenth European Conference on Computer Systems, 689-703, 2024 | | 2024 |
Enhancing ROS System Fuzzing through Callback Tracing Y Shen, J Liu, Y Xu, H Sun, M Wang, N Guan, H Shi, Y Jiang | | 2024 |
Brief Industry Paper: Directed Kernel Fuzz Testing on Real-time Linux Y Shen, S Chen, J Liu, Y Xu, Q Zhang, R Wang, H Shi, Y Jiang 2023 IEEE Real-Time Systems Symposium (RTSS), 495-499, 2023 | 1 | 2023 |
Horus: Accelerating Kernel Fuzzing through Efficient Host-VM Memory Access Procedures J Liu, Y Shen, Y Xu, H Sun, Y Jiang ACM Transactions on Software Engineering and Methodology 33 (1), 1-25, 2023 | 2 | 2023 |
SATURN: Host-gadget synergistic USB driver fuzzing Y Xu, H Sun, J Liu, Y Shen, Y Jiang 2024 IEEE Symposium on Security and Privacy (SP), 51-51, 2023 | 2 | 2023 |
Industry practice of configuration auto-tuning for cloud applications and services R Wang, Q Wang, Y Hu, H Shi, Y Shen, Y Zhan, Y Fu, Z Liu, X Shi, Y Jiang Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022 | 5 | 2022 |
Tardis: Coverage-guided embedded operating system fuzzing Y Shen, Y Xu, H Sun, J Liu, Z Xu, A Cui, H Shi, Y Jiang IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2022 | 6 | 2022 |
{KSG}: Augmenting kernel fuzzing with system call specification generation H Sun, Y Shen, J Liu, Y Xu, Y Jiang 2022 USENIX Annual Technical Conference (USENIX ATC 22), 351-366, 2022 | 16 | 2022 |
Healer: Relation learning guided kernel fuzzing H Sun, Y Shen, C Wang, J Liu, Y Jiang, T Chen, A Cui Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles …, 2021 | 44 | 2021 |
Rtkaller: State-aware task generation for RTOS fuzzing Y Shen, H Sun, Y Jiang, H Shi, Y Yang, W Chang ACM Transactions on Embedded Computing Systems (TECS) 20 (5s), 1-22, 2021 | 9 | 2021 |
ICS protocol fuzzing: Coverage guided packet crack and generation Z Luo, F Zuo, Y Shen, X Jiao, W Chang, Y Jiang 2020 57th ACM/IEEE Design Automation Conference (DAC), 1-6, 2020 | 47 | 2020 |
Effectively Sanitizing Embedded Operating Systems J Liu, Y Shen, Y Xu, H Sun, H Shi, Y Jiang | | |
Ics protocol fuzzing: coverage guided packet crack and generation. In 2020 57th ACM/IEEE Design Automation Conference (DAC)(2020) Z Luo, F Zuo, Y Shen, X Jiao, W Chang, Y Jiang IEEE, 0 | 3 | |
ISSRE 2021 Z Zhao, M Elsayed, T Le, M Barani, MA Faisal, ASA Yelgundhalli, ... | | |