Short Talk: Automatically Eliminating Speculative Leaks With Blade (PriSC 2020 - Principles of Secure Compilation 2020) - POPL 2020

Write a Blog >>

Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States

Who

Marco Vassena, Klaus v. Gleissenthall, Rami Gökhan Kıcı

Track

PriSC 2020 Principles of Secure Compilation

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect 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 25 Jan 2020 14:48 - 14:56 at Rosalie - New outlooks on secure compilation Chair(s): Cristina Cifuentes

File attachments

Slides (blade.pdf)	1.17MiB

Marco Vassena

CISPA Helmholtz Center for Information Security

Germany

Klaus v. Gleissenthall

University of California at San Diego, USA

Rami Gökhan Kıcı

University of California at San Diego, USA

Presentation

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect 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 25 Jan
Displayed time zone: Saskatchewan, Central America change

	14:00 - 15:05	New outlooks on secure compilationPriSC at Rosalie Chair(s): Cristina Cifuentes Oracle Labs

	14:00 24m Talk		Exploits as Insecure Compilation PriSC Jennifer Paykin Galois, Inc., Eric Mertens Galois, Inc., Mark Tullsen Galois, Inc, Luke Maurer Galois, Inc, Benoit Razet Galois, Inc, Alexander Bakst Galois, Inc, Scott Moore Galois, Inc Pre-print Media Attached File Attached
	14:24 24m Talk		Universal Composability is Secure Compilation PriSC Marco Patrignani Stanford University & CISPA , Riad S. Wahby Stanford University, USA, Robert Künnemann CISPA, Saarland University Media Attached File Attached
	14:48 8m Talk		Short Talk: Automatically Eliminating Speculative Leaks With Blade PriSC Marco Vassena CISPA Helmholtz Center for Information Security, Klaus v. Gleissenthall University of California at San Diego, USA, Rami Gökhan Kıcı University of California at San Diego, USA Media Attached File Attached
	14:56 8m Talk		Short Talk: Everparse PriSC Tahina Ramananandro Microsoft Research, n.n. Media Attached