IoTSan: Fortifying the Safety of IoT Systems

v1v2 (latest)

IoTSan: Fortifying the Safety of IoT Systems

22 October 2018

S. Krishnamurthy

Patrick McDaniel

ArXiv (abs)PDF HTML

Papers citing "IoTSan: Fortifying the Safety of IoT Systems"

13 / 13 papers shown

Title
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
IoTMonitor: A Hidden Markov Model-based Security System to Identify Crucial Attack Nodes in Trigger-action IoT Platforms Md Morshed Alam Md Sajidul Islam Sajid Weichao Wang Jinpeng Wei 33 6 0 09 Feb 2022
Iota: A Framework for Analyzing System-Level Security of IoTs Zheng Fang Hao Xu Tianbo Gu Pengfei Hu Jinyue Song Trent Jaeger P. Mohapatra 34 10 0 05 Feb 2022
A Survey on Resilience in the IoT: Taxonomy, Classification and Discussion of Resilience Mechanisms C. Berger Philipp Eichhammer Hans P. Reiser Jörg Domaschka F. Hauck Gerhard Habiger 65 62 0 06 Sep 2021
Risk Analysis and Policy Enforcement of Function Interactions in Robot Apps Yuan Xu Tianwei Zhang Yungang Bao 20 0 0 23 Mar 2021
TAPInspector: Safety and Liveness Verification of Concurrent Trigger-Action IoT Systems Yinbo Yu Jiajia Liu 32 27 0 02 Feb 2021
PFirewall: Semantics-Aware Customizable Data Flow Control for Smart Home Privacy Protection Haotian Chi Qiang Zeng Xiaojiang Du Lannan Luo 75 26 0 26 Jan 2021
IoTGaze: IoT Security Enforcement via Wireless Context Analysis Tianbo Gu Zheng Fang Allaukik Abhishek Hao Xu Pengfei Hu P. Mohapatra 36 44 0 29 Jun 2020
PFirewall: Semantics-Aware Customizable Data Flow Control for Home Automation Systems Haotian Chi Qiang Zeng Xiaojiang Du Lannan Luo 62 20 0 17 Oct 2019
Helion: Enabling a Natural Perspective of Home Automation Sunil Manandhar Kevin Moran Kaushal Kafle Ruhao Tang Denys Poshyvanyk Adwait Nadkarni 18 2 0 29 Jun 2019
Manipulating Soft Tissues by Deep Reinforcement Learning for Autonomous Robotic Surgery Ngoc Duy Nguyen Thanh Nguyen S. Nahavandi Asim Bhatti Glenn Guest 82 43 0 14 Feb 2019
Program Analysis of Commodity IoT Applications for Security and Privacy: Challenges and Opportunities Z. Berkay Celik Earlence Fernandes Eric Pauley Gang Tan Patrick McDaniel 71 125 0 18 Sep 2018
Cross-App Interference Threats in Smart Homes: Categorization, Detection and Handling Haotian Chi Qiang Zeng Xiaojiang Du Jiaping Yu 75 85 0 06 Aug 2018