Fri 17 Jun 2016 11:00 - 11:30 at Grand Ballroom Santa Ynez - Security Chair(s): Andrew Myers

Fri 17 Jun
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

10:30 - 12:00: SecurityResearch Papers at Grand Ballroom Santa Ynez
Chair(s): Andrew MyersCornell University
10:30 - 11:00
Talk
Research Papers
Jean YangCarnegie Mellon University, Travis HanceDropbox, Thomas H. Austin, Armando Solar-LezamaMIT, Cormac FlanaganUC Santa Cruz, Stephen ChongHarvard University
Link to publication Media Attached
11:00 - 11:30
Talk
Research Papers
David CostanzoYale University, Zhong ShaoYale University, Ronghui GuYale University
Pre-print Media Attached
11:30 - 12:00
Talk
Research Papers
Rohit SinhaUniversity of California, Berkeley, Manuel CostaMicrosoft Research, Akash LalMicrosoft Research India, Nuno P. LopesMicrosoft Research, Sriram RajamaniMicrosoft Research, Sanjit SeshiaUC Berkeley, Kapil VaswaniMicrosoft Research
Media Attached