Login / Signup
TAPFixer: Automatic Detection and Repair of Home Automation Vulnerabilities based on Negated-property Reasoning.
Yinbo Yu
Yuanqi Xu
Kepu Huang
Jiajia Liu
Published in:
USENIX Security Symposium (2024)
Keyphrases
</>
automatic detection
home automation
home environment
embedded devices
smart home
automatically detecting
intelligent environments
ambient assisted living
knowledge base
real time
intelligent systems
artificial intelligence
expert systems