Biblio

Export 8 results:
Filters: Author is Shi-Min Hu  [Clear All Filters]
2022
Bai J-J, Li T, Hu S-M.  2022.  DLOS: Effective Static Detection of Deadlocks in OS Kernels. 2022 USENIX Annual Technical Conference (USENIX ATC 22). :367--382.
2021
Bai J-J, Li T, Lu K, Hu S-M.  2021.  Static Detection of Unsafe DMA Accesses in Device Drivers. 30th USENIX Security Symposium (USENIX Security 21). :1629--1645.
Zou Y-H, Bai J-J, Zhou J, Tan J, Qin C, Hu S-M.  2021.  TCP-Fuzz: Detecting Memory and Semantic Bugs in TCP Stacks with Fuzzing. 2021 USENIX Annual Technical Conference (USENIX ATC 21). :489--502.
2020
Jiang Z-M, Bai J-J, Lu K, Hu S-M.  2020.  Fuzzing Error Handling Code using Context-Sensitive Software Fault Injection. 29th USENIX Security Symposium (USENIX Security 20). :2595--2612.
2019
Bai J-J, Lawall J, Chen Q-L, Hu S-M.  2019.  Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers. 2019 USENIX Annual Technical Conference (USENIX ATC 19). :255-268.
2018
Bai J-J, Wang Y-P, Lawall J, Hu S-M.  2018.  DSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel Modules. 2018 USENIX Annual Technical Conference (USENIX ATC 18). :587--600.
2016
Bai J-J, Wang Y-P, Yin J, Hu S-M.  2016.  Testing Error Handling Code in Device Drivers Using Characteristic Fault Injection. 2016 USENIX Annual Technical Conference (USENIX ATC 16). :635--647.