TAPInspector: Safety and Liveness Verification of Concurrent Trigger-Action IoT Systems. (arXiv:2102.01468v2 [cs.CR] UPDATED)

Trigger-action programming (TAP) is a popular end-user programming framework
that can simplify the Internet of Things (IoT) automation with simple
trigger-action rules. However, it also introduces new security and safety
threats. A lot of advanced techniques have been proposed to address this
problem. Rigorously reasoning about the security of a TAP-based IoT system
requires a well-defined model and verification method both against rule
semantics and physical-world features, e.g., concurrency, rule latency,
extended action, tardy attributes, and connection-based rule interactions,
which …

action iot safety systems