Toward safe, private, and secure home automation: from formal modeling to user evaluation

  • Project Highlight Slides
  • Applied Software Usability and Human Interaction
  • Formal Methods and Language-based Security Privacy
  • 2114148
Submitted by Jason Gigax on