Yuan Tian, assistant professor in the Department of Computer Science has been awarded a National Science Foundation Secure and Trustworthy Cyberspace grant: Collaborative Research: SaTC: CORE: Medium: Toward safe, private, and secure home automation: from formal modeling to user evaluation. Tian's research aims to gain a deeper understanding of security and privacy risks from internet of things devices in smart homes and then develop methods to mitigate the threats using formal modeling and automated analysis tools. A specific goal is to calculate system attackers' precise knowledge and influence over smart home internet of things devices in order to design warnings that help users understand their smart home systems better and avoid potential harm.