Toward safe, private, and secure home automation: from formal modeling to user evaluation Download pdf Tags: Project Highlight Slides Applied Software Usability and Human Interaction Formal Methods and Language-based Security Privacy 2114148 License: CC-2.5 Submitted by Jason Gigax on Wed, 06/22/2022 - 13:34