Sun 17 Jan 2021 16:00 - 16:18 at PriSC - Secure compilers & cryptography Chair(s): Fraser Brown, Aastha Mehta
Sun 17 Jan Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 17 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:00 - 17:30 | Secure compilers & cryptographyPriSC at PriSC Chair(s): Fraser BrownStanford University, USA, Aastha MehtaMPI-SWS, Germany and University of British Columbia, Canada | ||
16:00 18mTalk | High-level high-speed high-assurance crypto PriSC Jonathan CoganStanford, Fraser BrownStanford University, USA, Alex OzdemirStanford, Riad S. WahbyStanford University, USA Media Attached | ||
16:18 18mTalk | Cross-Architecture Testing for Compiler-Introduced Security Bugs PriSC Media Attached File Attached | ||
16:36 18mTalk | High-Assurance Cryptography in the Spectre Era PriSC Gilles BartheMPI-SP, Germany / IMDEA Software Institute, Spain, Sunjay CauligiUniversity of California at San Diego, USA, Benjamin GregoireINRIA, Adrien KoutsosINRIA Paris, Kevin LiaoMax Planck Institute for Security and Privacy, Tiago OliveiraUniversity of Porto (FCUP) and INESC TEC, Swarn PriyaPurdue University, Tamara RezkInria, France, Peter SchwabeMax Planck Institute for Security and Privacy Media Attached | ||
16:54 18mTalk | Compilation as Multi-Language Semantics PriSC William J. BowmanUniversity of British Columbia Pre-print Media Attached | ||
17:12 18mTalk | Viaduct: An Optimizing, Extensible Compiler for Secure Distributed Programs PriSC Coşku AcayCornell University, Rolph Recto, Joshua GancherCornell University, Andrew C. MyersCornell University, Elaine ShiCornell University Media Attached | ||