Secure Composition of SPECTRE Mitigations (PriSC 2024) - POPL 2024

Sun 14 - Sat 20 January 2024 London, United Kingdom

Who

Matthis Kruse, Michael Backes

Track

Time Zone

The program is currently displayed in (GMT) London.

Use conference time zone: (GMT) LondonSelect 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

Sat 20 Jan 2024 11:45 - 12:07 at Turing Lecture - Session 2 Chair(s): Marco Vassena

Abstract

.

File attachments

(prisc24-paper5.pdf)	462KiB
slides (Notability-Notizen (3).pdf)	4.4MiB

Matthis Kruse

CISPA Helmholtz Center for Information Security

Germany

Michael Backes

Cispa Helmholtz Center for Information Security

Time Zone

The program is currently displayed in (GMT) London.

Use conference time zone: (GMT) LondonSelect 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

Sat 20 Jan
Displayed time zone: London change

	11:00 - 12:30	Session 2PriSC at Turing Lecture Chair(s): Marco Vassena Utrecht University

	11:00 22m Talk		Microarchitectural Side-Channel Mitigations for Serverless Applications PriSC Yayu Wang The University of British Columbia, Aastha Mehta The University of British Columbia File Attached
	11:22 22m Talk		Lifting Compiler Security Properties to Stronger Attackers: the Speculation Case PriSC Xaver Fabian Cispa Helmholtz Center for Information Security, Marco Guarnieri IMDEA Software Institute, Michael Backes Cispa Helmholtz Center for Information Security File Attached
	11:45 22m Talk		Secure Composition of SPECTRE Mitigations PriSC Matthis Kruse CISPA Helmholtz Center for Information Security, Michael Backes Cispa Helmholtz Center for Information Security File Attached
	12:07 22m Talk		When Obfuscations Preserve Cryptographic Constant-Time PriSC Matteo Busi University Ca' Foscari, Venice, Pierpaolo Degano University of Pisa and IMT School for Advanced Studies Lucca, Letterio Galletta IMT School for Advanced Studies Lucca File Attached