TY  - RPRT
TI  - TAPFixer: Automatic Detection and Repair of Home Automation Vulnerabilities based on Negated-property Reasoning
AU  - Yinbo Yu
AU  - Yuanqi Xu
AU  - Kepu Huang
AU  - Jiajia Liu
PY  - 2024
UR  - https://arxiv.org/abs/2407.09095
ID  - 2407.09095
ER  -