Toward safe, private, and secure home automation: from formal modeling to user evaluation Download pdf Tags: Posters Applied Software Usability and Human Interaction Formal Methods and Language-based Security Privacy 2114148 SaTC PI Meeting 2022 License: CC-2.5 Submitted by Jason Gigax on Mon, 06/20/2022 - 10:15