TAPInspector: Safety and Liveness Verification of Concurrent
Trigger-Action IoT Systems

v1v2 (latest)

TAPInspector: Safety and Liveness Verification of Concurrent Trigger-Action IoT Systems

2 February 2021

Yinbo Yu

ArXiv (abs)PDF HTML

Papers citing "TAPInspector: Safety and Liveness Verification of Concurrent Trigger-Action IoT Systems"

5 / 5 papers shown

Title
TAPFixer: Automatic Detection and Repair of Home Automation Vulnerabilities based on Negated-property Reasoning Yinbo Yu Yuanqi Xu Kepu Huang Jiajia Liu 46 4 0 12 Jul 2024
Proactive Detection of Physical Inter-rule Vulnerabilities in IoT Services Using a Deep Learning Approach Bing Huang Chen Chen K. Lam Fuqun Huang AAML 41 1 0 06 Jun 2024
A Survey on Conflict Detection in IoT-based Smart Homes Bing Huang Dipankar Chaki A. Bouguettaya Kwok-Yan Lam 53 17 0 03 Oct 2023
MAVERICK: An App-independent and Platform-agnostic Approach to Enforce Policies in IoT Systems at Runtime M. Mazhar Li Li Endadul Hoque Omar Chowdhury 54 3 0 02 Feb 2023
A Survey of Analysis Methods for Security and Safety verification in IoT Systems Lobna Abuserrieh Manar H. Alalfi 37 2 0 03 Mar 2022