Program Agenda

Visible to the public 

SUNDAY, JANUARY 8, 2017

6:00 pm - 9:00 pm

Registration
Early Sign-Up for "Open" Breakout Sessions

Grand Ballroom Foyer
1st level

MONDAY, JANUARY 9, 2017

7:00 am - 5:00 pm

Registration
Sign-Up for "Open" Breakout Sessions
"Ask NSF" Desk

Grand Ballroom Foyer
1st leve
l

7:00 am - 8:15 am

Continental Breakfast

Grand 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 am

Break

Grand Ballroom and Arlington Ballroom Foyers
1st level

10:30 am - 12:00 pm

BREAKOUT 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 pm

Lunch

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 pm

Break

Grand Ballroom and Arlington Ballroom Foyers
1st level

3:00 pm - 5:00 pm

Poster Session

Arlington Ballroom-Salons I, II, III
1st level

5:00 pm - 7:00 pm

Reception

Grand 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 am

NSF 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 am

Break

Grand Ballroom and Arlington Ballroom Foyers
1st level

10:30 am - 12:00 pm

BREAKOUT 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 pm

Lunch

Arlington 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 pm

Poster 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 am

Continental Breakfast

Grand 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

Break

Grand 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 pm

Closing Remarks
Patrick McDaniel (Pennsylvania State)

Grand Ballroom-Salons A, B, C, K, J, H
1st level

12:00 pm WORKSHOP ADJOURNED