Write a Blog >>
CPP 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
co-located with POPL 2020
VenueJW Marriott New Orleans
Room nameRosalie
Floor3
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sat 25 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

prisc-2020-papers
prisc-2020-papers09:00 - 09:05
Day opening
Dominique DevrieseVrije Universiteit Brussel
File Attached
prisc-2020-papers09:05 - 10:00
Industry talk
Media Attached
prisc-2020-papers
10:30 - 12:30: Principles of Secure Compilation 2020 - Foundations and timing channels at Rosalie
Chair(s): Marco VassenaCISPA Helmholtz Center for Information Security
prisc-2020-papers10:30 - 10:54
Talk
Marco PatrignaniStanford University & CISPA , Marco GuarnieriIMDEA Software Institute
Media Attached File Attached
prisc-2020-papers10:54 - 11:18
Talk
Carmine AbateInria Paris, Roberto BlancoInria, Stefan CiobacaAlexandru Ioan Cuza University of Iasi, Deepak GargMax Planck Institute for Software Systems, Cătălin HriţcuInria Paris, Marco PatrignaniStanford University & CISPA , Éric TanterUniversity of Chile, Jérémy ThibaultInria Paris
Media Attached File Attached
prisc-2020-papers11:18 - 11:42
Talk
Johan BayAarhus University, Aslan AskarovAarhus University
Media Attached File Attached
prisc-2020-papers11:42 - 12:06
Talk
Ken Friis LarsenDIKU, University of Copenhagen, Torben MogensenDIKU, University of Copenhagen, Michael Kirkedal ThomsenDIKU, University of Copenhagen
prisc-2020-papers12:06 - 12:30
Talk
Sandrine BlazyUniv Rennes- IRISA, Rémi HutinIRISA / ENS Rennes, David PichardieUniv Rennes, ENS Rennes, IRISA
Media Attached
prisc-2020-papers
14:00 - 15:05: Principles of Secure Compilation 2020 - New outlooks on secure compilation at Rosalie
Chair(s): Cristina CifuentesOracle Labs
prisc-2020-papers14: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
prisc-2020-papers14:24 - 14:48
Talk
Marco PatrignaniStanford University & CISPA , Riad S. WahbyStanford University, USA, Robert KünnemannCISPA, Saarland University
Media Attached File Attached
prisc-2020-papers14: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
prisc-2020-papers14:56 - 15:04
Talk
Tahina RamananandroMicrosoft Research, n.n.
Media Attached
prisc-2020-papers
15:35 - 17:45: Principles of Secure Compilation 2020 - Compartmentalization, memory safety, and isolation at Rosalie
Chair(s): Marco PatrignaniStanford University & CISPA , Jonathan ProtzenkoMicrosoft Research, Redmond
prisc-2020-papers15:35 - 15:59
Talk
Sean AndersonPortland State University, Andrew TolmachPortland State University, Chris ChhakPortland State University
Media Attached File Attached
prisc-2020-papers15:59 - 16:23
Talk
Aina Linn GeorgesAarhus University, Alix TrieuAarhus University, Lars BirkedalAarhus University
Media Attached
prisc-2020-papers16:23 - 16:47
Talk
Matteo BusiUniversità di Pisa - Dipartimento di Informatica, Job Noormanimec-DistriNet, Dept. of Computer Science, KU Leuven, Belgium, Jo Van Bulckimec-DistriNet, Dept. of Computer Science, KU Leuven, Belgium, Letterio GallettaIMT School for Advanced Studies, Pierpaolo DeganoUniversità di Pisa - Dipartimento di Informatica, Jan Tobias Mühlbergimec-DistriNet, Dept. of Computer Science, KU Leuven, Belgium, Frank PiessensKU Leuven
Media Attached File Attached
prisc-2020-papers16:47 - 16:57
Break
prisc-2020-papers16:57 - 17:21
Talk
Jay BosamiyaCarnegie Mellon University, Benjamin LimCarnegie Mellon University, Bryan ParnoCarnegie Mellon University
Media Attached File Attached
prisc-2020-papers17:21 - 17:45
Talk
Marco VassenaCISPA Helmholtz Center for Information Security, Marco PatrignaniStanford University & CISPA
Link to publication Media Attached File Attached

Sat 25 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change