Pith. sign in

REVIEW

Logic Bugs in IoT Platforms and Systems: A Review

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1912.13410 v2 pith:KBK7Q332 submitted 2019-12-31 cs.CR

Wei Zhou , Chen Cao , Dongdong Huo , Kai Cheng , Lan Zhang , Le Guan , Tao Liu , Yaowen Zheng
show 4 more authors
Yuqing Zhang Limin Sun Yazhe Wang Peng Liu
This is my paper
classification cs.CR
keywords systemsplatformsbugslogiccomplexityincreasedreviewvulnerabilities
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

In recent years, IoT platforms and systems have been rapidly emerging. Although IoT is a new technology, new does not mean simpler (than existing networked systems). Contrarily, the complexity (of IoT platforms and systems) is actually being increased in terms of the interactions between the physical world and cyberspace. The increased complexity indeed results in new vulnerabilities. This paper seeks to provide a review of the recently discovered logic bugs that are specific to IoT platforms and systems. In particular, 17 logic bugs and one weakness falling into seven categories of vulnerabilities are reviewed in this survey.

Discussion (0). Sign in to comment.

Pith tools