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
Times are displayed in time zone: Saskatchewan, Central America change

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

	14:00 - 14:24 Talk		Exploits as Insecure Compilation PriSC Jennifer PaykinGalois, Inc., Eric MertensGalois, Inc., Mark TullsenGalois, Inc, Luke MaurerGalois, Inc, Benoit RazetGalois, Inc, Alexander BakstGalois, Inc, Scott MooreGalois, Inc Pre-print Media Attached File Attached
	14:24 - 14:48 Talk		Universal Composability is Secure Compilation PriSC Marco PatrignaniStanford University & CISPA , Riad S. WahbyStanford University, USA, Robert KünnemannCISPA, Saarland University Media Attached File Attached
	14:48 - 14:56 Talk		Short Talk: Automatically Eliminating Speculative Leaks With Blade PriSC Marco VassenaCISPA Helmholtz Center for Information Security, Klaus v. GleissenthallUniversity of California at San Diego, USA, Rami Gökhan KıcıUniversity of California at San Diego, USA Media Attached File Attached
	14:56 - 15:04 Talk		Short Talk: Everparse PriSC Tahina RamananandroMicrosoft Research, n.n. Media Attached