Login / Signup
Yuanqi Xu
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Knowledge Base
Home Environments
Intelligent Environments
Automatic Detection
Top Venues
CoRR
USENIX Security Symposium
</>
Publications
</>
Yinbo Yu
,
Yuanqi Xu
,
Kepu Huang
,
Jiajia Liu
TAPFixer: Automatic Detection and Repair of Home Automation Vulnerabilities based on Negated-property Reasoning.
USENIX Security Symposium
(2024)
Yinbo Yu
,
Yuanqi Xu
,
Kepu Huang
,
Jiajia Liu
TAPFixer: Automatic Detection and Repair of Home Automation Vulnerabilities based on Negated-property Reasoning.
CoRR
(2024)