Explore a comprehensive analysis of smart home security and safety in this IEEE conference talk. Delve into the Hlion framework, designed to generate natural home automation scenarios by identifying patterns in user-driven sequences. Discover how the naturalness hypothesis applies to smart home event sequences, based on a corpus of 30,518 events from 40 users. Learn about the framework's validation process, involving studies with external evaluators, and its practical application in generating security and safety policies. Examine key findings that highlight the strengths of this approach, unexpected aspects of home automation, and future challenges in this rapidly evolving field. Gain insights into tokenization, corpus construction, informed scheduling, and scenario generation techniques used in the Hlion framework.
Towards a Natural Perspective of Smart Homes for Practical Security and Safety Analyses
Overview
Syllabus
Intro
Home Automation Routines
Research Gap
Motivating Example - A Scenario
Obtaining Realistic Scenarios What properties do we want from scenarios?
Challenges Generating Natural Scenarios: A modeling problem
Key Intuition
The Helion Framework
Survey Methodology
Tokenization
Constructing the HOME Corpus Informed Scheduling
Generating Expressive Scenarios
Predicting Policies with Scenarios 260 Random histories
Security Testing with Scenarios Random histories
Evaluating Validity of Scenarios In Person study: 16 evaluators
Lessons Learned
Taught by
IEEE Symposium on Security and Privacy
