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