CMU SoS 2013 Quarterly Lablet PI Meeting
Science of Security Quarterly Lablet PI Meeting
September 26-27, 2013 | Gates Hillman Center, Room 4405 | 8:30 am – 4:30 pm
Day 1: September 26, 2013: Open Workshop Sessions
8:30 a.m. - 4:30 p.m. Workshop 1
Jonathan Aldrich (CMU), leader
Addressing challenges of scale through composable modeling and analysis
[See hard problem #1 here and here.]
12:00 p.m. - 1:00 p.m. Lunch
1:00 p.m. - 4:30 p.m. Workshop 2
Lorrie Cranor (CMU), leader
Addressing usability and security challenges through design and empircal methods
[See hard problem #1 here and here.]
Break times - 10:00 a.m. and 2:30 p.m.
Breakfast, Lunch, and break snacks provided.
Day 2: September 27, 2013
8:30 a.m. - 8:45 a.m. Welcome and Introductions
Lablet PIs (CMU, UIUC, NCSU)
8:45 a.m. - 9:45 a.m. CMU Session
Limin Jia and Anupam Datta, Compositional Security for Higher-order Systems
Kathleen Carley, A Global Perspective on Cyber Attacks
10:15 a.m. - 10:45 a.m. High Level to Low Level Security Policies
James Carter (NSA), High Level to Low Level Security Policies
10:45 a.m. - 11:45 a.m. UIUC Session
Jose Meseguer, Advances on Protocol Indistinguishability Analysis in Maude-N
Ross Koppel (U Penn), Workarounds to computer access by well-inteded users
11:45 p.m. - 12:45 p.m. Lunch
12:45 p.m. - 1:15 p.m. Canadian Cybersecurity Center
Dan Craigen, Venus: To Make Canada a Global Leader in Cybersecurity
1:15 p.m. - 2:15 p.m. NCSU Session
Rudra Dutta, Reachability as a tool for understanding wireless network routing security
Xiaohui (Helen) Gu, Least privilege for hybrid programs: Root exploit containment for Android
Emerson Murphy-Hill, Social influences on secure development tool adoption
2:45 p.m. - 3:45 p.m. Workshop Reports from Day 1
Jonathan Aldrich, Composition
Lorrie Cranor, Usability
3:45 p.m. - 4:30 p.m. Lablet Progress on Hard Questions
Lablet leads – discussion regarding progress and plans for future results.
Bill Scherlis, SoS and Hard Problems
Break times — 9:45am and 2:15pm.
Breakfast, Lunch, and break snacks provided
Download a printable version of the agenda here.