High-level high-speed high-assurance crypto (PriSC 2021) - POPL 2021

Write a Blog >>

Sun 17 - Fri 22 January 2021 Online

Who

Jonathan Cogan, Fraser Brown, Alex Ozdemir, Riad S. Wahby

Track

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

When

Sun 17 Jan 2021 16:00 - 16:18 at PriSC - Secure compilers & cryptography Chair(s): Fraser Brown, Aastha Mehta

Jonathan Cogan

Stanford

Fraser Brown

Stanford University, USA

Alex Ozdemir

Stanford

Riad S. Wahby

Stanford University, USA

Media

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

Session Program

Sun 17 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	16:00 - 17:30: Secure compilers & cryptographyPriSC at PriSC Chair(s): Fraser BrownStanford University, USA, Aastha MehtaMPI-SWS, Germany and University of British Columbia, Canada

	16:00 - 16:18 Talk		High-level high-speed high-assurance crypto PriSC Jonathan CoganStanford, Fraser BrownStanford University, USA, Alex OzdemirStanford, Riad S. WahbyStanford University, USA Media Attached
	16:18 - 16:36 Talk		Cross-Architecture Testing for Compiler-Introduced Security Bugs PriSC Jianhao XuNanjing University, Kangjie LuUniversity of Minnesota, Bing MaoNanjing University Media Attached File Attached
	16:36 - 16:54 Talk		High-Assurance Cryptography in the Spectre Era PriSC Gilles BartheMPI-SP, Germany / IMDEA Software Institute, Spain, Sunjay CauligiUniversity of California at San Diego, USA, Benjamin GregoireINRIA, Adrien KoutsosINRIA Paris, Kevin LiaoMax Planck Institute for Security and Privacy, Tiago OliveiraUniversity of Porto (FCUP) and INESC TEC, Swarn PriyaPurdue University, Tamara RezkInria, France, Peter SchwabeMax Planck Institute for Security and Privacy Media Attached
	16:54 - 17:12 Talk		Compilation as Multi-Language Semantics PriSC William J. BowmanUniversity of British Columbia Pre-print Media Attached
	17:12 - 17:30 Talk		Viaduct: An Optimizing, Extensible Compiler for Secure Distributed Programs PriSC Coşku AcayCornell University, Rolph Recto, Joshua GancherCornell University, Andrew C. MyersCornell University, Elaine ShiCornell University Media Attached