POPL 2021 (series) / PriSC 2021 (series) / PriSC 2021 /
High-Assurance Cryptography in the Spectre Era
Sun 17 Jan 2021 16:36 - 16:54 at PriSC - Secure compilers & cryptography Chair(s): Fraser Brown, Aastha Mehta
Sun 17 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 17 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:00 - 17:30 | Secure compilers & cryptographyPriSC at PriSC Chair(s): Fraser Brown Stanford University, USA, Aastha Mehta MPI-SWS, Germany and University of British Columbia, Canada | ||
16:00 18mTalk | High-level high-speed high-assurance crypto PriSC Jonathan Cogan Stanford, Fraser Brown Stanford University, USA, Alex Ozdemir Stanford, Riad S. Wahby Stanford University, USA Media Attached | ||
16:18 18mTalk | Cross-Architecture Testing for Compiler-Introduced Security Bugs PriSC Media Attached File Attached | ||
16:36 18mTalk | High-Assurance Cryptography in the Spectre Era PriSC Gilles Barthe MPI-SP, Germany / IMDEA Software Institute, Spain, Sunjay Cauligi University of California at San Diego, USA, Benjamin Gregoire INRIA, Adrien Koutsos INRIA Paris, Kevin Liao Max Planck Institute for Security and Privacy, Tiago Oliveira University of Porto (FCUP) and INESC TEC, Swarn Priya Purdue University, Tamara Rezk Inria, France, Peter Schwabe Max Planck Institute for Security and Privacy Media Attached | ||
16:54 18mTalk | Compilation as Multi-Language Semantics PriSC William J. Bowman University of British Columbia Pre-print Media Attached | ||
17:12 18mTalk | Viaduct: An Optimizing, Extensible Compiler for Secure Distributed Programs PriSC Coşku Acay Cornell University, Rolph Recto , Joshua Gancher Cornell University, Andrew Myers Cornell University, Elaine Shi Cornell University Media Attached | ||