POPL 2021 (series) / PriSC 2021 (series) /
PriSC 2021 Program
This is the PriSC 2021 program - see the full program for POPL 2021 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
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 |
18:00 - 19:00 | |||
18:00 60mKeynote | Frontiers in Secure Compilation – an Industrial Perspective (invited talk) PriSC Hugo Vincent Arm Research |
21:00 - 21:30 | |||
21:00 15mTalk | A Categorical Approach to Secure Compilation (and others things) (short talk) PriSC Stelios Tsampas , Andreas Nuyts KU Leuven, Belgium, Dominique Devriese Vrije Universiteit Brussel, Frank Piessens KU Leuven | ||
21:15 15mTalk | Contract-aware Secure Compilation (short talk) PriSC Pre-print |