应我校网络空间安全学院邀请，西北工业大学刘家佳教授将于4月21日（周一）为我校做学术报告，欢迎广大师生参加！报告的具体安排如下：

报告时间：2025年4月21日（周一）15:30-17:30

报告地点：东区教学楼网络空间安全学院FZ555会议室

报告主题：TAPFixer: Automatic Detection and Repair of Home Automation Vulnerabilities based on Negated-property Reasoning

报告简介：Trigger-Action Programming (TAP) is a popular end-user programming framework in the home automation (HA) system, which eases users to customize home automation and control devices as expected. However, its simplified syntax also introduces new safety threats to HA systems through vulnerable rule interactions. Accurately fixing these vulnerabilities by logically and physically eliminating their root causes is essential before rules are deployed. However, it has not been well studied. In this paper, we present TAPFixer, a novel framework to automatically detect and repair rule interaction vulnerabilities in HA systems. It extracts TAP rules from HA profiles, translates them into an automaton model with physical and latency features, and performs model checking with various correctness properties. It then uses a novel negated-property reasoning algorithm to automatically infer a patch via model abstraction and refinement and model checking based on negated-properties. We evaluate TAPFixer on market HA apps (1177 TAP rules and 53 properties) and find that it can achieve an 86.65% success rate in repairing rule interaction vulnerabilities. We additionally recruit 23 HA users to conduct a user study that demonstrates the usefulness of TAPFixer for vulnerability repair in practical HA scenarios.

报告人简介：Jiajia Liu is a full professor (Vice Dean) with the School of Cybersecurity, Northwestern Polytechnical University. He is the director of Shaanxi Provincial Engineering Laboratory of Cyber Security since 2021, and the director of Xi’an Unmanned System Security and Intelligent Communications ISTC Center since 2020. He was a full Professor at the School of Cyber Engineering, Xidian University, from 2013 to 2018. He has published more than 200 peer-reviewed papers in many high quality publications, including prestigious IEEE journals and conferences. He received IEEE ComSoc Best YP (Young Professional) Award in Academia in 2020, IEEE VTS Early Career Award in 2019, IEEE ComSoc Asia-Pacific Outstanding Young Researcher Award in 2017, IEEE ComSoc Asia-Pacific Outstanding Paper Award in 2019, Niwa Yasujiro Outstanding Paper Award in 2012, the Best Paper Awards from many international conferences including IEEE flagship events, such as IEEE ICC in 2023, IEEE GLOBECOM in 2016, 2019, 2022 and 2024, IEEE WCNC in 2012 and 2014, IEEE WiMob in 2019, IEEE IC-NIDC in 2018, AICON in 2019. He was also a recipient of the Tohoku University President Award 2013. His research interests cover a wide range of areas including intelligent and connected vehicles, mobile/edge/cloud computing and storage, Internet of things security, wireless and mobile ad hoc networks, and space-air-ground integrated networks. He has been actively joining the society activities, like serving as the Chair of IEEE IOT-AHSN TC (2022-2023), associate editors for IEEE Transactions on Wireless Communications (May 2018-Nov. 2023), IEEE Transactions on Communications (Sep. 2020-Aug. 2024), IEEE Transactions on Computers (Oct. 2015-Jun. 2017) and IEEE Transactions on Vehicular Technology (Jan. 2016-Jan. 2021), editor for IEEE Network (July 2015-present), editor for IEEE Transactions on Cognitive Communications and Networking (Jan. 2019-Mar. 2024), guest editors of top ranking international journals like IEEE Transactions on Emerging Topics in Computing (TETC), IEEE Network Magazine, IEEE Internet of Things (IoT) Journal, etc., and serving as technical program committees of numerous international conferences like the general chair of HPSR 2022, the general co-chair of IWCMC 2023. He is a Distinguished Lecturer of IEEE Communications Society and Vehicular Technology Society. He is a Fellow of IEEE.

网络空间安全学院