Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2102.01468
Cited By
v1
v2 (latest)
TAPInspector: Safety and Liveness Verification of Concurrent Trigger-Action IoT Systems
IEEE Transactions on Information Forensics and Security (IEEE TIFS), 2021
2 February 2021
Yinbo Yu
Jiajia Liu
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"TAPInspector: Safety and Liveness Verification of Concurrent Trigger-Action IoT Systems"
5 / 5 papers shown
TAPFixer: Automatic Detection and Repair of Home Automation Vulnerabilities based on Negated-property Reasoning
Yinbo Yu
Yuanqi Xu
Kepu Huang
Jiajia Liu
267
6
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
130
3
0
06 Jun 2024
A Survey on Conflict Detection in IoT-based Smart Homes
ACM Computing Surveys (ACM Comput. Surv.), 2023
Bing Huang
Dipankar Chaki
A. Bouguettaya
Kwok-Yan Lam
217
23
0
03 Oct 2023
MAVERICK: An App-independent and Platform-agnostic Approach to Enforce Policies in IoT Systems at Runtime
Wireless Network Security (WiSec), 2023
M. Mazhar
Li Li
Endadul Hoque
Omar Chowdhury
267
5
0
02 Feb 2023
A Survey of Analysis Methods for Security and Safety verification in IoT Systems
Lobna Abuserrieh
Manar H. Alalfi
142
4
0
03 Mar 2022
1
Page 1 of 1
