| 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 | 51 | 2021 |
| 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 | 19 | 2022 |
| Rtkaller: State-aware Task Generation for RTOS Fuzzing Y Shen, H Sun, Y Jiang, H Shi, Y Yang, W Chang | 11 | 2021 |
| 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 | 10 | 2022 |
| 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 | 6 | 2023 |
| 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 | 5 | 2024 |
| 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), 4646-4660, 2024 | 4 | 2024 |
| Validating the {eBPF} verifier via state embedding H Sun, Z Su 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2024 | 2 | 2024 |
| Go-Sanitizer: Bug-Oriented Assertion Generation for Golang C Wang, H Sun, Y Xu, Y Jiang, H Zhang, M Gu 2019 IEEE International Symposium on Software Reliability Engineering …, 2019 | 2 | 2019 |
| Enhancing ROS System Fuzzing through Callback Tracing Y Shen, J Liu, Y Xu, H Sun, M Wang, N Guan, H Shi, Y Jiang Proceedings of the 33rd ACM SIGSOFT International Symposium on Software …, 2024 | | 2024 |
| Effectively Sanitizing Embedded Operating Systems J Liu, Y Shen, Y Xu, H Sun, H Shi, Y Jiang | | |
