Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs-Reference-Cited by-同舟云学术

Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs

Published:2022-11-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security
language:
Short-container-title:

Author:

Zhou Qingyang¹,Wu Qiushi¹,Liu Dinghao²,Ji Shouling²,Lu Kangjie¹

Affiliation:

1. University of Minnesota, Minneapolis, MN, USA

2. Zhejiang University, Hangzhou, China

Funder

National Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3548606.3560661

Reference44 articles.

1. Mansour Ahmadi , Reza Mirzazade farkhani, Ryan Williams , and Long Lu . 2021 . Finding Bugs Using Your Own Code: Detecting Functionally-similar yet Inconsistent Code . In 30th USENIX Security Symposium (USENIX Security 21) . USENIX Association , 2025--2040. https://www.usenix.org/conference/usenixsecurity21/presentation/ahmadi Mansour Ahmadi, Reza Mirzazade farkhani, Ryan Williams, and Long Lu. 2021. Finding Bugs Using Your Own Code: Detecting Functionally-similar yet Inconsistent Code. In 30th USENIX Security Symposium (USENIX Security 21). USENIX Association, 2025--2040. https://www.usenix.org/conference/usenixsecurity21/presentation/ahmadi

2. Jia-Ju Bai Julia Lawall Qiu-Liang Chen and Shi-Min Hu. 2019. Effective static analysis of concurrency use-after-free bugs in Linux device drivers. In 2019 $$USENIX$$ Annual Technical Conference ($$USENIX$$$$ATC$$ 19). 255--268. Jia-Ju Bai Julia Lawall Qiu-Liang Chen and Shi-Min Hu. 2019. Effective static analysis of concurrency use-after-free bugs in Linux device drivers. In 2019 $$USENIX$$ Annual Technical Conference ($$USENIX$$$$ATC$$ 19). 255--268.

3. Jia-Ju Bai , Tuo Li , Kangjie Lu , and Shi-Min Hu . 2021 . Static Detection of Unsafe DMA Accesses in Device Drivers. In 30th USENIX Security Symposium (USENIX Security 21) . USENIX Association, 1629--1645. https://www.usenix.org/conference/usenixsecurity21/presentation/bai Jia-Ju Bai, Tuo Li, Kangjie Lu, and Shi-Min Hu. 2021. Static Detection of Unsafe DMA Accesses in Device Drivers. In 30th USENIX Security Symposium (USENIX Security 21). USENIX Association, 1629--1645. https://www.usenix.org/conference/usenixsecurity21/presentation/bai

4. Dan Carpenter. 2009. Smatch - the source matcher. http://smatch.sourceforge. Dan Carpenter. 2009. Smatch - the source matcher. http://smatch.sourceforge.

5. Detecting Kernel Memory Leaks in Specialized Modules with Ownership Reasoning

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs;Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security;2022-11-07