TAPFixer: Automatic Detection and Repair of Home Automation Vulnerabilities based on Negated-property Reasoning. - Yinbo Yu; Yuanqi Xu; Kepu Huang; Jiajia Liu 001 (USENIX Security Symposium, 2024)