@inproceedings {280756, author = {Jia-Ju Bai and Tuo Li and Shi-Min Hu}, title = {{DLOS}: Effective Static Detection of Deadlocks in {OS} Kernels}, booktitle = {2022 USENIX Annual Technical Conference (USENIX ATC 22)}, year = {2022}, isbn = {978-1-939133-29-47}, address = {Carlsbad, CA}, pages = {367--382}, url = {https://www.usenix.org/conference/atc22/presentation/bai}, publisher = {USENIX Association}, month = jul } @inproceedings {272210, author = {Jia-Ju Bai and Tuo Li and Kangjie Lu and Shi-Min Hu}, title = {Static Detection of Unsafe {DMA} Accesses in Device Drivers}, booktitle = {30th USENIX Security Symposium (USENIX Security 21)}, year = {2021}, isbn = {978-1-939133-24-3}, pages = {1629--1645}, url = {https://www.usenix.org/conference/usenixsecurity21/presentation/bai}, publisher = {USENIX Association}, month = aug } @inproceedings {273881, author = {Yong-Hao Zou and Jia-Ju Bai and Jielong Zhou and Jianfeng Tan and Chenggang Qin and Shi-Min Hu}, title = {{TCP-Fuzz}: Detecting Memory and Semantic Bugs in {TCP} Stacks with Fuzzing}, booktitle = {2021 USENIX Annual Technical Conference (USENIX ATC 21)}, year = {2021}, isbn = {978-1-939133-23-6}, pages = {489--502}, url = {https://www.usenix.org/conference/atc21/presentation/zou}, publisher = {USENIX Association}, month = jul } @inproceedings {251552, author = {Zu-Ming Jiang and Jia-Ju Bai and Kangjie Lu and Shi-Min Hu}, title = {Fuzzing Error Handling Code using {Context-Sensitive} Software Fault Injection}, booktitle = {29th USENIX Security Symposium (USENIX Security 20)}, year = {2020}, isbn = {978-1-939133-17-5}, pages = {2595--2612}, url = {https://www.usenix.org/conference/usenixsecurity20/presentation/jiang}, publisher = {USENIX Association}, month = aug } @inproceedings {234866, author = {Jia-Ju Bai and Julia Lawall and Qiu-Liang Chen and Shi-Min Hu}, title = {Effective Static Analysis of Concurrency {Use-After-Free} Bugs in Linux Device Drivers}, booktitle = {2019 USENIX Annual Technical Conference (USENIX ATC 19)}, year = {2019}, isbn = {978-1-939133-03-8}, address = {Renton, WA}, pages = {255-268}, url = {https://www.usenix.org/conference/atc19/presentation/bai}, publisher = {USENIX Association}, month = jul } @inproceedings {215947, author = {Jia-Ju Bai and Yu-Ping Wang and Julia Lawall and Shi-Min Hu}, title = {{DSAC}: Effective Static Analysis of {Sleep-in-Atomic-Context} Bugs in Kernel Modules}, booktitle = {2018 USENIX Annual Technical Conference (USENIX ATC 18)}, year = {2018}, isbn = {978-1-939133-01-4}, address = {Boston, MA}, pages = {587--600}, url = {https://www.usenix.org/conference/atc18/presentation/bai}, publisher = {USENIX Association}, month = jul } @inproceedings {203632, author = {Xiaolong Bai and Zhe Zhou and XiaoFeng Wang and Zhou Li and Xianghang Mi and Nan Zhang and Tongxin Li and Shi-Min Hu and Kehuan Zhang}, title = {Picking Up My Tab: Understanding and Mitigating Synchronized Token Lifting and Spending in Mobile Payment}, booktitle = {26th USENIX Security Symposium (USENIX Security 17)}, year = {2017}, isbn = {978-1-931971-40-9}, address = {Vancouver, BC}, pages = {593--608}, url = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/bai}, publisher = {USENIX Association}, month = aug } @inproceedings {196269, author = {Jia-Ju Bai and Yu-Ping Wang and Jie Yin and Shi-Min Hu}, title = {Testing Error Handling Code in Device Drivers Using Characteristic Fault Injection}, booktitle = {2016 USENIX Annual Technical Conference (USENIX ATC 16)}, year = {2016}, isbn = {978-1-931971-30-0}, address = {Denver, CO}, pages = {635--647}, url = {https://www.usenix.org/conference/atc16/technical-sessions/presentation/bai}, publisher = {USENIX Association}, month = jun }