A Points-to-Sensitive Model Checker for C Programs in IoT Firmware-Reference-Cited by-同舟云学术

A Points-to-Sensitive Model Checker for C Programs in IoT Firmware

Published:2022-10-01 Issue:19 Volume:9 Page:18998-19011
ISSN:2327-4662
Container-title:IEEE Internet of Things Journal
language:
Short-container-title:IEEE Internet Things J.

Author:

Yu Yinbo¹^ORCID,Liu Jiajia¹^ORCID,Mu Dejun¹^ORCID

Affiliation:

1. National Engineering Laboratory for Integrated Aero-Space-Ground-Ocean Big Data Application Technology, School of Cybersecurity, Northwestern Polytechnical University, Xi’an, China

Funder

Natural Science Basic Research Program of Shaanxi

Basic Research Programs of Taicang

Basic and Applied Basic Research Foundation of Guangdong Province

Fundamental Research Funds for the Central Universities

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Subject

Computer Networks and Communications,Computer Science Applications,Hardware and Architecture,Information Systems,Signal Processing

Link

http://xplorestaging.ieee.org/ielx7/6488907/9899827/09745051.pdf?arnumber=9745051

Reference45 articles.

1. Path-sensitive sparse analysis without path conditions

2. Design and implementation of sparse global analyses for C-like languages

3. Don't sweat the small stuff

4. Proving pointer programs in higher-order logic

5. Theta: A framework for abstraction refinement-based model checking;tóth;Proc IEEE Formal Methods Comput -Aided Des (FMCAD),2017

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

1. A survey on privacy and security issues in IoT-based environments: Technologies, protection measures and future directions;Computers & Security;2025-01