Agenda

Day 1 (Monday, August 13)

8:30-9am Breakfast, social

9-9:30am Welcome and Workshop Introduction: NSF PD (Darleen/Mimi) and Workshop Organizers (Gu etc.)

9:30-10:15 Plenary talk 1: Dennis Moreau (VMware) “Context, Intention, and Expectation in Programmable Security” [slides]

10:15-11:30 Parallel Session 1

• 1a: Architectures and Abstractions (Discussion lead: David Ott, Don Porter)
• 1b: Trust across multiple stakeholders (Discussion lead: Srinivasan Seshan, Vyas Sekar)

11:30-11:45 Group report back

11:45-1pm Lunch

1-1:45pm Elevator Pitch of white papers from everyone

1:45-3:00 Parallel Session 2

• 2a: New attack surfaces (Discussion lead: Cristina Nita-Rotaru, Xiaofeng Wang)
• 2b: New programming/language/policy paradigms (Discussion lead: Mike Reiter, Ehab Al-Shaer)

3:00-3:30 Break

3:30-3:45 Group report back

3:45-5:00 Parallel Session 3

• 3a: New security applications (Discussion lead: Dennis Moreau, Hongxin Hu)
• 3b: Formal and experimental verification and reasoning (Discussion lead: Mike Swift, Vinod Yegneswaran)

5:00-5:15 Group report back

Day 2 (Tuesday, August 14)

8:30-9am Breakfast, social

9-9:30am Plenary talk 2: Sandip Kundu (NSF/SaTC) "Security Research at NSF" [slides]

9:30-10:45 Parallel Session 4

• 4a: Integrating of AI/ML and bigdata (Discussion lead: Yan Chen, Sandra Scott-Hayward)
• 4b: Emerging platforms/domains: Edge computing, IoT/CPS, 5G (Discussion lead: William Enck, Alvaro Cardenas)

10:45-11 Group report back

11-11:15 Break

11:15-12:30 Open Challenge Discussion and Plan Going Forward (Discussion lead: Chairs)

12:30pm Adjourn/Lunch boxes