POPL 2020 (series) / PriSC 2020 (series) / Principles of Secure Compilation 2020 /
Short Talk: Automatically Eliminating Speculative Leaks With Blade
Sat 25 Jan 2020 14:48 - 14:56 at Rosalie - New outlooks on secure compilation Chair(s): Cristina Cifuentes
Slides (blade.pdf) | 1.17MiB |
Sat 25 Jan Times are displayed in time zone: Saskatchewan, Central America change
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 |