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.