POPL 2022 (series) / PriSC 2022 (series) /
PriSC 2022 Program
This is the PriSC 2022 program - see the full program for POPL 2022 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sat 22 JanDisplayed time zone: Eastern Time (US & Canada) change
Sat 22 Jan
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 10:00 | |||
09:00 60mKeynote | BPF and Spectre: Mitigating transient execution attacksRemote PriSC Piotr Krysiuk Symantec, Threat Hunter Team, Benedict Schlüter Ruhr University Bochum, Daniel Borkmann Isovalent File Attached |
10:20 - 11:35 | |||
10:20 25mTalk | Type-directed Program Transformation for Constant-Time EnforcementRemote PriSC File Attached | ||
10:45 25mTalk | Towards Understanding Spectre-PHT in Memory-Safe LanguagesRemote PriSC Zirui Neil Zhao University of Illinois at Urbana-Champaign, Fangfei Liu Intel Corporation, Scott Constable Intel Corporation, Carlos Rozas Intel Corporation | ||
11:10 25mTalk | Synthesizing Evidence of Emergent ComputationRemote PriSC Media Attached File Attached |
11:35 - 12:00 | |||
13:30 - 14:30 | |||
13:30 60mKeynote | Providing evidence for the security properties of hardware/software codesignsRemote PriSC Frank Piessens KU Leuven File Attached |
15:05 - 16:20 | |||
15:05 25mTalk | Composing Secure CompilersRemote PriSC Matthis Kruse CISPA Helmholtz Center for Information Security, Marco Patrignani CISPA Helmholtz Center for Information Security / Stanford University File Attached | ||
15:30 25mTalk | SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking SimulationRemote PriSC Akram El-Korashy Max Planck Institute for Software Systems (MPI-SWS), Roberto Blanco Max Planck Institute for Security and Privacy (MPI-SP), Jérémy Thibault MPI-SP, Adrien Durier Max Planck Institute for Security and Privacy (MPI-SP), Cătălin Hriţcu MPI-SP, Deepak Garg MPI-SWS Pre-print Media Attached File Attached | ||
15:55 25mTalk | The Fox and the Hound (Episode 2): Fully Abstract, Robust Compilation and How to Reconcile the Two, AbstractlyRemote PriSC Carmine Abate Max Planck Institute for Security and Privacy, Bochum, Germany, Matteo Busi Università di Pisa - Dipartimento di Informatica, Stelios Tsampas FAU Erlangen-Nuremberg, INF 8 DOI Pre-print File Attached |
16:40 - 17:55 | |||
16:40 25mTalk | A CompCert backend with symbolic encryptionRemote PriSC File Attached | ||
17:05 25mTalk | Effect-Oblivious EquivalenceRemote PriSC Pre-print File Attached | ||
17:30 25mTalk | The Supervisionary proof-checking kernel, or: a work-in-progress toward proof-generating codeRemote PriSC File Attached |