Security Checking of Trigger-Action-Programming Smart Home Integrations. - Lei Bu; Qiuping Zhang; Suwan Li; Jinglin Dai; Guangdong Bai; Kai Chen 012; Xuandong Li (ISSTA, 2023)