Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis-Reference-Cited by-同舟云学术

Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis

Published:2023-07-12 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

Cheng Kai¹,Zheng Yaowen²,Liu Tao³,Guan Le⁴,Liu Peng³,Li Hong⁵,Zhu Hongsong⁶,Ye Kejiang⁷,Sun Limin⁶

Affiliation:

1. Shenzhen Institute of Advanced Technology at Chinese Academy of Sciences, China / Sangfor Technologies, China

2. Nanyang Technological University, Singapore

3. Pennsylvania State University, USA

4. University of Georgia, USA

5. Institute of Information Engineering at Chinese Academy of Sciences, China

6. Institute of Information Engineering at Chinese Academy of Sciences, China / University of Chinese Academy of Sciences, China

7. Shenzhen Institute of Advanced Technology at Chinese Academy of Sciences, China

Publisher

ACM

Link

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

Reference46 articles.

1. Lars Ole Andersen. 1994. Program analysis and specialization for the C programming language. Ph. D. Dissertation. Citeseer. Lars Ole Andersen. 1994. Program analysis and specialization for the C programming language. Ph. D. Dissertation. Citeseer.

2. 2023. Next-generation binary analysis framework. https://github.com/angr/angr 2023. Next-generation binary analysis framework. https://github.com/angr/angr

3. FlowDroid

4. WYSINWYX

5. 2019. Soundness and Completeness: Defined With Precision. https://cacm.acm.org/blogs/blog-cacm/236068-soundness-and-completeness-defined-with-precision/fulltext 2019. Soundness and Completeness: Defined With Precision. https://cacm.acm.org/blogs/blog-cacm/236068-soundness-and-completeness-defined-with-precision/fulltext

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

1. DeLink: Source File Information Recovery in Binaries;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. IEmu: Interrupt modeling from the logic hidden in the firmware;Journal of Systems Architecture;2024-09

3. Detecting command injection vulnerabilities in Linux-based embedded firmware with LLM-based taint analysis of library functions;Computers & Security;2024-09

4. SHFuzz: Service handler-aware fuzzing for detecting multi-type vulnerabilities in embedded devices;Computers & Security;2024-03

5. Detecting Vulnerabilities in Firmware Via Back-End Differences;2024