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

Who

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

Track

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

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

Presentation

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

Session Program

14:00 - 15:05: Principles of Secure Compilation 2020 - New outlooks on secure compilation at Rosalie
Chair(s): Cristina CifuentesOracle Labs

14:00 - 14:24
Talk

Jennifer PaykinGalois, Inc., Eric MertensGalois, Inc., Mark TullsenGalois, Inc, Luke MaurerGalois, Inc, Benoit RazetGalois, Inc, Alexander BakstGalois, Inc, Scott MooreGalois, Inc

14:24 - 14:48
Talk

Marco PatrignaniStanford University & CISPA , Riad S. WahbyStanford University, USA, Robert KünnemannCISPA, Saarland University

14:48 - 14:56
Talk

Short Talk: Automatically Eliminating Speculative Leaks With Blade

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

14:56 - 15:04
Talk

Tahina RamananandroMicrosoft Research, n.n.