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

  • Posters
  • Applied Software Usability and Human Interaction
  • Formal Methods and Language-based Security Privacy
  • 2114148
  • SaTC PI Meeting 2022
Submitted by Jason Gigax on