Abstract:Trigger-Action Programming (TAP) is a new programming paradigm enabling end-users to customize their smart devices by defining simple trigger-action rules. While it offers appealing convenience to end-users, TAP renders devices vulnerable to operation chaos and security risk resulting from potential defects in the rules. Verifying TAP rules defined by end-users is thereby necessary to detect such vulnerabilities at the early stage. However, such rules are difficult to analyze because their executions are often device-specific and environment-driven. Existing approaches require modeling them with their host devices and running environments, which is labor-consuming and hard to be automated. Moreover, the composition of devices causes state explosion, rendering the conflict analysis time-consuming. In this paper, we first build a large corpus of TAP rules developed by end-users. Analyzing this corpus results in six types of conflicts and reveals that nearly 90% of end-users made conflicts in their customized rules, and on average, 3.7 rules contain a conflict, which concurs with the necessity of developing practical conflict analysis techniques. Empirical analysis motivates us to propose a lightweight SMT-based approach for conflict analysis from a programmatic perspective. Compared to the existing approaches, our approach does not require modeling devices; thus, it could be fully automatic and flexible in efficiently detecting various types of conflicts. We implement the approach in a tool TapChecker. We analyze 12,514 TAP rules collected from real-world TAP platforms (10,535) and laboratory experiments (1,979). Experimental results show that our approach outperforms the state-of-the-art tool regarding the number of detected conflicts and efficiency.

Learning to Recommend Trigger-Action Rules for End-User Development - A Knowledge Graph Based Approach.

A Recommendation System for Trigger-Action Programming Rules via Graph Contrastive Learning

ChatIoT: Zero-code Generation of Trigger-action Based IoT Programs with ChatGPT.

Reducing End-to-End Latency of Trigger-Action IoT Programs on Containerized Edge Platforms

Device-Aware Rule Recommendation for the Internet of Things.

Jointly Learning Explainable Rules for Recommendation with Knowledge Graph

TapChecker: A Lightweight SMT-Based Conflict Analysis for Trigger-Action Programming

ChatIoT: Zero-code Generation of Trigger-action Based IoT Programs

Latape: Location-Aware Programming and Executing Trigger-Action Rules.

A scalable rule engine system for trigger-action application in large-scale IoT environment

Distilling Task-specific Logical Rules from Large Pre-trained Models

Ekar: an Explainable Method for Knowledge Aware Recommendation

Accurate Action Recommendation for Smart Home via Two-Level Encoders and Commonsense Knowledge

Harnessing Test-Oriented Knowledge Graphs for Enhanced Test Function Recommendation

Reasoning Makes Good Annotators : an Automatic Task-specific Rules Distilling Framework for Low-resource Relation Extraction

RelRec: A Graph-Based Triggering Object Relationship Recommender System

Proactive Detection of Physical Inter-rule Vulnerabilities in IoT Services Using a Deep Learning Approach

Threat Detection in Trigger-Action Programming Rules of Smart Home With Heterogeneous Information Network Model

A Joint Framework for Explainable Recommendation with Knowledge Reasoning and Graph Representation

Knowledge Reasoning via Jointly Modeling Knowledge Graphs and Soft Rules

Rule-Guided Graph Neural Networks For Recommender Systems