End-to-End Verification of Information-Flow Security for C and Assembly Programs (PLDI 2016 - Research Papers)

Mon 13 - Fri 17 June 2016 Santa Barbara, California, United States

Who

David Costanzo, Zhong Shao, Ronghui Gu

Track

PLDI 2016 Research Papers

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

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

Link to Preprint

https://github.com/emeryberger/PLDI-2016/raw/master/preprints/pldi16main-main84-p.pdf

David Costanzo

Yale University

Zhong Shao

Yale University

United States

Ronghui Gu

Yale University

China

End-to-End Verification of Information-Flow Security for C and Assembly Programs - David Costanzo

slides [pdf]

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Fri 17 Jun
Displayed time zone: Tijuana, Baja California change

10:30 - 12:00	SecurityResearch Papers at Grand Ballroom Santa Ynez Chair(s): Andrew Myers Cornell University

10:30 30m Talk		Precise, Dynamic Information Flow for Database-Backed Applications Research Papers Jean Yang Carnegie Mellon University, Travis Hance Dropbox, Thomas H. Austin , Armando Solar-Lezama MIT, Cormac Flanagan UC Santa Cruz, Stephen Chong Harvard University Link to publication Media Attached
11:00 30m Talk		End-to-End Verification of Information-Flow Security for C and Assembly Programs Research Papers David Costanzo Yale University, Zhong Shao Yale University, Ronghui Gu Yale University Pre-print Media Attached
11:30 30m Talk		A Design and Verification Methodology for Secure Isolated Regions Research Papers Rohit Sinha University of California, Berkeley, Manuel Costa Microsoft Research, Akash Lal Microsoft Research India, Nuno P. Lopes Microsoft Research, Sriram Rajamani Microsoft Research, Sanjit Seshia UC Berkeley, Kapil Vaswani Microsoft Research Media Attached