Difficultise to find race bugs and how existing work solve them

Kernel Tag

2020

12-24

Difficultise to find race bugs and how existing work solve them

12-24

Difficultise to find race bugs and how existing work solve them

12-24

[S&P'20] KRACE: Data Race Fuzzing for Kernel File Systems

12-24

[S&P'19] RAZZER: Finding Kernel Race Bugs through Fuzzing

12-21

[CCS'17] DIFUZE: Interface Aware Fuzzing for Kernel Drivers

12-20

[USENIX ATC'17] CAB-FUZZ: Practical Concolic Testing Techniques for COTS Operating Systems

12-18

[USENIX'17] kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels