Wei's Blog
2020
- [S&P'20] Ex-vivo dynamic analysis framework for Android device drivers
- Difficultise to find race bugs and how existing work solve them
- [S&P'20] KRACE: Data Race Fuzzing for Kernel File Systems
- [S&P'19] RAZZER: Finding Kernel Race Bugs through Fuzzing
- [CCS'17] DIFUZE: Interface Aware Fuzzing for Kernel Drivers
- [USENIX ATC'17] CAB-FUZZ: Practical Concolic Testing Techniques for COTS Operating Systems
- [USENIX'17] kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels
- [Tech] Taint-Specifications
- Gdb Usage
- [Tech] Taint Analysis