2017 SaTC PI Meeting - Program Agenda
SUNDAY, JANUARY 8, 2017
6:00 pm – 9:00 pmRegistration
Early Sign-Up for “Open” Breakout Sessions
Grand Ballroom Foyer
1st level
MONDAY, JANUARY 9, 2017
7:00 am – 5:00 pmRegistration
Sign-Up for “Open” Breakout Sessions
"Ask NSF" Desk
Grand Ballroom Foyer
1st level
7:00 am – 8:15 amContinental BreakfastGrand Ballroom and Arlington Ballroom Foyer
1st level
8:15 am – 9:00 am    Opening and Welcome 
Patrick McDaniel (Professor, Pennsylvania State) 
Jim Kurose (Assistant Director, NSF/CISE)
Deborah Lockhart (Deputy Assistant, Director NSF/MPS)
Grand Ballroom-Salons A, B, C, K, J, H
1st level
9:00 am – 10:00 am  Keynote
Ed Felten (Deputy U.S. Chief Technology Officer, Office of Science and Technology Policy, The White House, and Professor, Princeton University) 
Grand Ballroom-Salons A, B, C, K, J, H
1st level
10:00 am – 10:30 amBreakGrand Ballroom and Arlington Ballroom Foyers
1st level
10:30 am – 12:00 pmBREAKOUT SESSIONS 
 1. Formal Approaches to Security: Turing wins the game?
Moderator: Greg Shannon (OSTP) 
Alexandria
2nd level/Capacity 90
2."OPEN"Fairfax Boardroom
2nd level/Capacity 20
3. Cloud Security
Moderator:  Aditya Akella (Wisconsin-Madison)
Grand Ballroom-Salon D
1st level/Capacity 50
4. Transition to Practice (TTP) Bootcamp
Moderator:  Becky Bace (South Alabama & Infidel, Inc., Michael Chambers (South Alabama)
Grand Ballroom-Salon E
1st level/Capacity: 45
5. Building Differentially Private Systems: Opportunities and Challenges 
Moderator: Ashwin Machanavajjhala (Duke)
Grand Ballroom-Salon F
1st level/Capacity: 45
6. Cyber Resilience
Moderator: Karl Levitt (UC-Davis)
Presenters: Karl Levitt (UC-Davis), Damon McCoy (NYU), David Ott (VMWare), Scott Tousley (DHS), Sam Weber (NYU)
Grand Ballroom-Salon G
1st level/Capacity: 50
7. Exploitable Bugs in Hardware Designs
Moderator: Cynthia Sturton (UNC-Chapel Hill)
Manassas
2nd level/Capacity: 40
8. SaTC Frontier Projects I
Moderator: Michael Bailey (UIUC)
Presenters: David Kotz (Dartmouth), Vern Paxson (ICSI), Mayank Varia (Boston) 
McLean
2nd level/Capacity: 60
9. SaTC Frontier Projects II
Moderator: John Russell (NSF)
Presenters: Mike Reiter (UNC-Chapel Hill), Salil Vadhan (Harvard), Norman Sadeh (Carnegie Mellon), Amit Sahai (UC-Los Angeles)
Mt. Vernon
2nd level/Capacity: 40
10. Programming Languages and Cryptography
Moderators: Abhi Shelat (Northeastern), Elaine (Runting) Shi (Cornell)
Rosslyn I
Lobby level/Capacity: 40
11. Secure Computation Progress, Methods, Challenges, and Open Questions
Moderator: David  Evans (UVA)
Rosslyn II
Lobby level/Capacity 60
12:00 pm – 1:00 pmLunch Arlington Ballroom-Salons IV, V, VI
1st level
1:00 pm – 2:30 pm  Panel: Conceiving and Running Center Scale Frontier Projects
Moderator: Brian LaMacchia (Micrsoft Research)
Panelists: David Kotz (Dartmouth), Vern Paxson (ICSI), Norman Sadeh (Carnegie Mellon), Mike Reiter (North Carolina-Chapel Hill), Salil Vadhan (Harvard), Ran Canetti (Boston), Amit Sahai (UC-Los Angeles)
Grand Ballroom and Arlington Ballroom Foyers
1st level
2:30 pm – 3:00 pmBreakGrand Ballroom and Arlington Ballroom Foyers
1st level
3:00 pm – 5:00 pmPoster Session Arlington Ballroom-Salons I, II, III
1st level
5:00 pm – 7:00 pmReceptionGrand Ballroom and Arlington Ballroom Foyers and Skyview
1st level
TUESDAY, JANUARY 10, 2017
7:00 am – 5:00 pm  Registration
Sign-Up for “Open” Breakout Sessions
"Ask NSF" Desk
Grand Ballroom Foyer
1st level
7:00 am – 8:15 am    Continental Breakfast Grand Ballroom and Arlington Ballroom Foyers
1st level
8:15 am – 8:45 am    NSF Opening Remarks
Manos Antonakakis (Pennsylvania State)
Ken Calvert (Division Director, NSF/CNS) 
Grand Ballroom-Salons A, B, C, K, J, H
1st level
8:45 am – 9:00 amNSF and SaTC Need YOU!
Deborah Shands (Program Director, NSF/SaTC)
Grand Ballroom-Salons A, B, C, K, J, H
1st level
9:00 am – 10:00 am  Keynote
Farnam Jahanian (Provost-Carnegie Mellon) 
Grand Ballroom-Salons A, B, C, K, J, H
1st level
10:00 am – 10:30 amBreakGrand Ballroom and Arlington Ballroom Foyers
1st level
10:30 am – 12:00 pmBREAKOUT SESSIONS 
 1. Security and Privacy in the Internet of Things (IoT)
Moderator: Jonathan Katz (Maryland)
Alexandria
2nd level/Capacity: 90
2. "OPEN"Fairfax Boardroom
2nd level/Capacity: 20
3. Stopping 0-Days with Formal Languages
Moderators: Sergey Bratus (Dartmouth), Sean Smith (Dartmouth)
Grand Ballroom-Salon D
1st level/Capacity: 50
4. Psycho-Social Aspects of Cyber-Security: Why is Human (Still) the Weakest Link?
Moderator: Cleotilde Gonzalez (Carnegie Mellon) 
Grand Ballroom-Salon E
1st level/Capacity: 45
5. Addressing the Diversity Gap in Cybersecurity with K-12 Outreach
Moderator: Ashley Podhradsky (Dakota University)
Grand Ballroom-Salon F
1st level/Capacity: 45
6. Semantics-Aware Security Research
Moderators: Will Enck (NCS), Xiaofeng Wang (Indiana-Bloomington)
Grand Ballroom- Salon G
1st level/Capacity: 50
7. Safe-Guarding Runtime Monitors
Moderator- Mathias Payer (Purdue)
Manassas
2nd level/Capacity: 40
8. Challenges and Opportunities of Physically Unclonable Functions Research
Moderator: Jakub Szefer (Yale)
Mt. Vernon
2nd level/Capacity: 40
9. Security of Cyber-Physical Systems
Moderator: Saman Aliari Zanouz (UIUC)
Rosslyn I
Lobby level/Capacity: 40
10. Cyber-Security and Privacy Research for U.S. Government Agencies
Moderator: Atul Prakash (Michigan-Ann Arbor)
Presenters: Angelos Keromytis (DARPA), Dan Massey (DHS), Robinson Pino (DoE), Mike Walker (DARPA) 
Rosslyn II
Lobby level/Capacity: 60
11. Emerging Privacy Research
Moderator: Nicolas Christin (Carnegie Mellon)
McLean
2nd level/Capacity: 60
12:00 pm – 1:00 pmLunchArlington Ballroom-Salons IV, V, VI
1st level
1:00 pm – 2:30 pm   Panel: Machine Learning and Security
Moderator: Patrick McDaniel (Pennsylvania State)
Panelists: David Evans (UVA), Ian Goodfellow (OpenAI), Nicolas Papernot (Pennsylvania State), Dawn Song (UC-Berkeley), Michael Wellman (Michigan-Ann Arbor) 
Grand Ballroom-Salons A, B, C, K, J, H
1st level
2:30 pm – 3:00 pm  Break Grand Ballroom and Arlington Ballroom Foyers
1st level
3:00 pm – 5:00 pmPoster Session Arlington Ballroom-Salons I, II, III
1st level
WEDNESDAY, JANUARY 11, 2017
7:00 am – 5:00 pm Registration 
"Ask NSF" Desk
Grand Ballroom Foyer
1st level
7:00 am – 8:00 amContinental BreakfastGrand Ballroom and Arlington Ballroom Foyers
1st level
8:00 am – 8:30 am  Opening and NSF Addresses
Patrick McDaniel (Pennsylvania State)
Dr. Fay Cook (Assistant Director, NSF/SBE)
Dr. Joan Ferrini-Mundy (Assistant Director, NSF/EHR)
Dr. Barry W. Johnson (Deputy Assistant Director, NSF/ENG)
Grand Ballroom-Salons A, B, C, K, J, H
1st level
8:30 am – 10:00 am  Federal Cybersecurity and Privacy R&D Strategic Plans: Priorities for Research
Moderator: Tomas Vagoun (NCO/NITRD)
Panelists: Lorrie Cranor (FTC), Erwin Gianchandani (NSF),Erin Kenneally (DHS), Naomi Lefkovitz (NIST), Bill Newhouse (NIST), Paul Lopata (DoD), Tomas Vagoun (NCO/NITRD)
Grand Ballroom-Salons A, B, C, K, J, H
1st level
10:00 am – 10:30 am BreakGrand Ballroom and Arlington Ballroom Foyers
1st level
10:30 am – 11:30 am Keynote
Alessandro Acquisti (Professor, Carnegie Mellon)
Grand Ballroom-Salons A, B, C, K, J, H
1st level
11:30 am – 12:00 pmClosing Remarks
Patrick McDaniel (Pennsylvania State)
Grand Ballroom-Salons A, B, C, K, J, H
1st level
12:00 pmWORKSHOP ADJOURNED