A survey on conflict detection in iot-based smart homes

B Huang, D Chaki, A Bouguettaya, KY Lam - ACM Computing Surveys, 2023 - dl.acm.org
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 …

A review study on blockchain-based IoT security and forensics

R Kamal, EED Hemdan, N El-Fishway - Multimedia Tools and Applications, 2021 - Springer
Abstract The term Internet of Things (IoT) represents all communicating countless
heterogeneous devices to share data and resources via the internet. The speedy advance of …

IoT bugs and development challenges

A Makhshari, A Mesbah - 2021 IEEE/ACM 43rd International …, 2021 - ieeexplore.ieee.org
IoT systems are rapidly adopted in various domains, from embedded systems to smart
homes. Despite their growing adoption and popularity, there has been no thorough study to …

Assessing IoT enabled cyber-physical attack paths against critical systems

I Stellios, P Kotzanikolaou, C Grigoriadis - Computers & Security, 2021 - Elsevier
Abstract Internet of Things (IoT) increase the interconnectivity and interoperability of systems
in various critical sectors, such as industrial control, healthcare and smart transportation …

Understanding iot security from a market-scale perspective

X Jin, S Manandhar, K Kafle, Z Lin… - Proceedings of the 2022 …, 2022 - dl.acm.org
Consumer IoT products and services are ubiquitous; yet, a proper characterization of
consumer IoT security is infeasible without an understanding of what IoT products are on the …

Delay wreaks havoc on your smart home: Delay-based automation interference attacks

H Chi, C Fu, Q Zeng, X Du - 2022 IEEE Symposium on Security …, 2022 - ieeexplore.ieee.org
With the proliferation of Internet of Things (IoT) devices and platforms, it becomes a trend
that IoT devices associated with different IoT platforms coexist in a smart home …

Reflecting on recurring failures in iot development

D Anandayuvaraj, JC Davis - Proceedings of the 37th IEEE/ACM …, 2022 - dl.acm.org
As IoT systems are given more responsibility and autonomy, they offer greater benefits, but
also carry greater risks. We believe this trend invigorates an old challenge of software …

Detecting and Handling {IoT} Interaction Threats in {Multi-Platform}{Multi-Control-Channel} Smart Homes

H Chi, Q Zeng, X Du - … USENIX Security Symposium (USENIX Security 23 …, 2023 - usenix.org
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 …

Bounded exhaustive search of alloy specification repairs

SG Brida, G Regis, G Zheng, H Bagheri… - 2021 IEEE/ACM …, 2021 - ieeexplore.ieee.org
The rising popularity of declarative languages and the hard to debug nature thereof have
motivated the need for applicable, automated repair techniques for such languages …

Atr: Template-based repair for alloy specifications

G Zheng, TV Nguyen, SG Brida, G Regis… - Proceedings of the 31st …, 2022 - dl.acm.org
Automatic Program Repair (APR) is a practical research topic that studies techniques to
automatically repair programs to fix bugs. Most existing APR techniques are designed for …