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
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 Pre-print Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:24 - 14:48 Talk | Marco PatrignaniStanford University & CISPA , Riad S. WahbyStanford University, USA, Robert KünnemannCISPA, Saarland University Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:48 - 14:56 Talk | 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 | Tahina RamananandroMicrosoft Research, n.n. Media Attached | |||||||||||||||||||||||||||||||||||||||||