Towards Usable Security Analysis Tools for Trigger-Action Programming. - McKenna McCall; Eric Zeng 001; Faysal Hossain Shezan; Mitchell Yang; Lujo Bauer; Abhishek Bichhawat; Camille Cobb; Limin Jia 001; Yuan Tian 001 (SOUPS, 2023)