A survey on conflict detection in iot-based smart homes
As the adoption of IoT-based smart homes continues to grow, the importance of addressing
potential conflicts becomes increasingly vital for ensuring seamless functionality and user …
potential conflicts becomes increasingly vital for ensuring seamless functionality and user …
Fix the leaking tap: A survey of Trigger-Action Programming (TAP) security issues, detection techniques and solutions
X Chen, X Zhang, M Elliot, X Wang, F Wang - Computers & Security, 2022 - Elsevier
Abstract The Internet of Things (IoT) connects all emerging devices and services while
creating interactions between people and things. Allowing users to match devices and …
creating interactions between people and things. Allowing users to match devices and …
Detecting and Handling {IoT} Interaction Threats in {Multi-Platform}{Multi-Control-Channel} Smart Homes
A smart home involves a variety of entities, such as IoT devices, automation applications,
humans, voice assistants, and companion apps. These entities interact in the same physical …
humans, voice assistants, and companion apps. These entities interact in the same physical …
Towards Usable Security Analysis Tools for {Trigger-Action} Programming
Research has shown that trigger-action programming (TAP) is an intuitive way to automate
smart home IoT devices, but can also lead to undesirable behaviors. For instance, if two TAP …
smart home IoT devices, but can also lead to undesirable behaviors. For instance, if two TAP …
ZMAD: Lightweight Model-Based Anomaly Detection for the Structured Z-Wave Protocol
Smart home automation is part of the Internet of Things that enables house remote control
via the use of smart devices, sensors, and actuators. Despite its convenience, vulnerabilities …
via the use of smart devices, sensors, and actuators. Despite its convenience, vulnerabilities …
HSAS-MD analyzer: a hybrid security analysis system using model-checking technique and deep learning for malware detection in IoT apps
Established Internet of Things (IoT) platforms suffer from their inability to determine whether
an IoT app is secure or not. A security analysis system (SAS) is a protective shield against …
an IoT app is secure or not. A security analysis system (SAS) is a protective shield against …
Helping Users Debug Trigger-Action Programs
Trigger-action programming (TAP) empowers a wide array of users to automate Internet of
Things (IoT) devices. However, it can be challenging for users to create completely correct …
Things (IoT) devices. However, it can be challenging for users to create completely correct …
Proactive Detection of Physical Inter-rule Vulnerabilities in IoT Services Using a Deep Learning Approach
Emerging Internet of Things (IoT) platforms provide sophisticated capabilities to automate
IoT services by enabling occupants to create trigger-action rules. Multiple trigger-action rules …
IoT services by enabling occupants to create trigger-action rules. Multiple trigger-action rules …
A Points-to-Sensitive Model Checker for C Programs in IoT Firmware
The Internet of Things (IoT) provides convenience for our daily lives via a huge number of
devices. However, due to low-resource and poor computing capability, these devices have a …
devices. However, due to low-resource and poor computing capability, these devices have a …
A Survey of Analysis Methods for Security and Safety verification in IoT Systems
L Abuserrieh, MH Alalfi - arXiv preprint arXiv:2203.01464, 2022 - arxiv.org
Internet of Things (IoT) has been rapidly growing in the past few years in all life disciplines.
IoT provides automation and smart control to its users in different domains such as home …
IoT provides automation and smart control to its users in different domains such as home …