| 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 | 42 | 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 | 14 | 2022 |
| Rtkaller: State-aware Task Generation for RTOS Fuzzing Y Shen, H Sun, Y Jiang, H Shi, Y Yang, W Chang | 9 | 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 | 4 | 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 | 1 | 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 | 1 | 2023 |
| 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 | 1 | 2019 |
| 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 |
| Effectively Sanitizing Embedded Operating Systems J Liu, Y Shen, Y Xu, H Sun, H Shi, Y Jiang | | |
