Program - POPL 2022

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT-05:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)Select 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

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sat 22 Jan
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:00	Keynote IPriSC at Independence Chair(s): Jonathan Protzenko Microsoft Research, Redmond

09:00 60m Keynote		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	Attacks and defensesPriSC at Independence Chair(s): Jonathan Protzenko Microsoft Research, Redmond

10:20 25m Talk		Type-directed Program Transformation for Constant-Time EnforcementRemote PriSC Gautier Raimondi Inria, Frédéric Besson Inria, Thomas P. Jensen INRIA Rennes File Attached
10:45 25m Talk		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 25m Talk		Synthesizing Evidence of Emergent ComputationRemote PriSC Scott Moore Galois, Inc., Jennifer Paykin Galois, Inc., Olivier Savary Bélanger Galois, Inc. Media Attached File Attached

	11:35 - 12:00	Short talksPriSC at Independence Chair(s): Marco Guarnieri IMDEA Software Institute

13:30 - 14:30	Keynote IIPriSC at Independence Chair(s): Marco Guarnieri IMDEA Software Institute

13:30 60m Keynote		Providing evidence for the security properties of hardware/software codesignsRemote PriSC Frank Piessens KU Leuven File Attached

15:05 - 16:20	Secure compilation theoryPriSC at Independence Chair(s): Arthur Azevedo de Amorim Boston University

15:05 25m Talk		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 25m Talk		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 25m Talk		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	Secure systemsPriSC at Independence Chair(s): Marco Guarnieri IMDEA Software Institute

16:40 25m Talk		A CompCert backend with symbolic encryptionRemote PriSC Paolo Torrini INRIA, Sylvain Boulmé Grenoble Alps University / CNRS / Grenoble INP / VERIMAG File Attached
17:05 25m Talk		Effect-Oblivious EquivalenceRemote PriSC Yao Li University of Pennsylvania, Stephanie Weirich University of Pennsylvania Pre-print File Attached
17:30 25m Talk		The Supervisionary proof-checking kernel, or: a work-in-progress toward proof-generating codeRemote PriSC Dominic Mulligan Arm Research, Nick Spinale Arm Research File Attached

PriSC 2022 Program

Sat 22 Jan
Displayed time zone: Eastern Time (US & Canada) change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

PriSC 2022 Program

Switch Program View

Program Display Configuration

Sat 22 JanDisplayed time zone: Eastern Time (US & Canada) change

Get Calendar (iCal)

Sat 22 Jan
Displayed time zone: Eastern Time (US & Canada) change