TAPFixer: Automatic Detection and Repair of Home Automation Vulnerabilities based on Negated-property Reasoning
Yinbo Yu, Yuanqi Xu, Kepu Huang, Jiajia Liu
科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审
2
引用
（Scopus）