PriSC 2020 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (62)

A Carmine AbateAbate, Carmine Inria Paris Trace-Relating Compiler Correctness and Secure Compilation
Sean AndersonAnderson, Sean Portland State University Flexible Tag-based Policies for Compartmentalized C
Aslan AskarovAskarov, Aslan Aarhus University Reconciling progress-insensitive noninterference and declassification Committee Member in Program Committee within the PriSC-track
B Alexander BakstBakst, Alexander Galois, Inc Exploits as Insecure Compilation
Johan BayBay, Johan Aarhus University Reconciling progress-insensitive noninterference and declassification
Frédéric BessonBesson, Frédéric Committee Member in Program Committee within the PriSC-track
Lars BirkedalBirkedal, Lars Aarhus University Mechanized Reasoning about a Capability Machine
Roberto BlancoBlanco, Roberto Inria Trace-Relating Compiler Correctness and Secure Compilation
Sandrine BlazyBlazy, Sandrine Univ Rennes- IRISAFrance A CompCert Compiler that Preserves Cryptographic Constant-time Committee Member in Program Committee within the PriSC-track
Jay BosamiyaBosamiya, Jay Carnegie Mellon University WebAssembly as an Intermediate Language for Provably-Safe Software Sandboxing
Matteo BusiBusi, Matteo Università di Pisa - Dipartimento di Informatica Securing Interruptible Enclaves
C CHR ChhakChhak, CHR Portland State University Flexible Tag-based Policies for Compartmentalized C
David ChisnallChisnall, David University of Cambridge Committee Member in Program Committee within the PriSC-track
Stephen ChongChong, Stephen Harvard UniversityUnited States Committee Member in Program Committee within the PriSC-track
Cristina CifuentesCifuentes, Cristina Oracle LabsAustralia Session Chair of New outlooks on secure compilation (part of PriSC) Committee Member in Program Committee within the PriSC-track
Stefan CiobacaCiobaca, Stefan Alexandru Ioan Cuza University of Iasi Trace-Relating Compiler Correctness and Secure Compilation
D Pierpaolo DeganoDegano, Pierpaolo Università di Pisa - Dipartimento di Informatica Securing Interruptible Enclaves
Dominique DevrieseDevriese, Dominique Vrije Universiteit BrusselBelgium PriSC Introduction Program Co-Chair in Program Committee within the PriSC-track Committee Member in Steering Committee within the PriSC-track
G Letterio GallettaGalletta, Letterio IMT School for Advanced Studies Securing Interruptible Enclaves
Tal GarfinkelGarfinkel, Tal Stanford University Committee Member in Program Committee within the PriSC-track
Deepak GargGarg, Deepak Max Planck Institute for Software SystemsGermany Trace-Relating Compiler Correctness and Secure Compilation Committee Member in Steering Committee within the PriSC-track
Aina Linn GeorgesGeorges, Aina Linn Aarhus University Mechanized Reasoning about a Capability Machine
Klaus GleissenthallGleissenthall, Klaus University of California, San Diego Committee Member in Program Committee within the PriSC-track
Klaus v. GleissenthallGleissenthall, Klaus v. University of California at San Diego, USA Short Talk: Automatically Eliminating Speculative Leaks With Blade
Benjamin GregoireGregoire, Benjamin INRIA Committee Member in Program Committee within the PriSC-track
Marco GuarnieriGuarnieri, Marco IMDEA Software InstituteSpain Exorcising Spectres with Secure Compilers
H Michael HicksHicks, Michael University of MarylandUnited States Committee Member in Steering Committee within the PriSC-track
Cătălin HriţcuHriţcu, Cătălin Inria ParisFrance Trace-Relating Compiler Correctness and Secure Compilation Chair in Steering Committee within the PriSC-track
Rémi HutinHutin, Rémi IRISA / ENS RennesFrance A CompCert Compiler that Preserves Cryptographic Constant-time
J Limin JiaJia, Limin Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the PriSC-track
K Rami Gökhan KıcıKıcı, Rami Gökhan University of California at San Diego, USA Short Talk: Automatically Eliminating Speculative Leaks With Blade
Robert KünnemannKünnemann, Robert CISPA, Saarland University Universal Composability is Secure Compilation
L Ken Friis LarsenLarsen, Ken Friis DIKU, University of CopenhagenDenmark Hermes: Implementing Cryptography without Side-channels
Benjamin LimLim, Benjamin Carnegie Mellon University WebAssembly as an Intermediate Language for Provably-Safe Software Sandboxing
M Luke MaurerMaurer, Luke Galois, Inc Exploits as Insecure Compilation
Tyler McMullenMcMullen, Tyler FastlyUnited States Lucet: A Compiler and Runtime for High-Concurrency Low-Latency Sandboxing
Eric MertensMertens, Eric Galois, Inc. Exploits as Insecure Compilation
Torben MogensenMogensen, Torben DIKU, University of Copenhagen Hermes: Implementing Cryptography without Side-channels
Scott MooreMoore, Scott Galois, Inc Exploits as Insecure Compilation
Jan Tobias MühlbergMühlberg, Jan Tobias imec-DistriNet, Dept. of Computer Science, KU Leuven, Belgium Securing Interruptible Enclaves
N Santosh NagarakatteNagarakatte, Santosh Rutgers University, USAUnited States Committee Member in Steering Committee within the PriSC-track
Job NoormanNoorman, Job imec-DistriNet, Dept. of Computer Science, KU Leuven, Belgium Securing Interruptible Enclaves
P Bryan ParnoParno, Bryan Carnegie Mellon UniversityUnited States WebAssembly as an Intermediate Language for Provably-Safe Software Sandboxing
Marco PatrignaniPatrignani, Marco Stanford University & CISPA United States Session Chair of Compartmentalization, memory safety, and isolation (part of PriSC) Exorcising Spectres with Secure Compilers Universal Composability is Secure Compilation Trace-Relating Compiler Correctness and Secure Compilation Memory Safety Preservation for WebAssembly
Daniel PattersonPatterson, Daniel Northeastern UniversityUnited States Committee Member in Program Committee within the PriSC-track
Jennifer PaykinPaykin, Jennifer Galois, Inc.United States Exploits as Insecure Compilation
David PichardiePichardie, David Univ Rennes, ENS Rennes, IRISAFrance A CompCert Compiler that Preserves Cryptographic Constant-time
Frank PiessensPiessens, Frank KU Leuven Securing Interruptible Enclaves
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research, RedmondUnited States Session Chair of Compartmentalization, memory safety, and isolation (part of PriSC) Committee Member in Program Committee within the PriSC-track Committee Member in Steering Committee within the PriSC-track
R Tahina RamananandroRamananandro, Tahina Microsoft Research, n.n.United States Short Talk: Everparse
Benoit RazetRazet, Benoit Galois, Inc Exploits as Insecure Compilation
Tamara RezkRezk, Tamara InriaFrance Committee Member in Steering Committee within the PriSC-track
S Deian StefanStefan, Deian University of California San Diego Program Co-Chair in Program Committee within the PriSC-track Committee Member in Steering Committee within the PriSC-track
T Éric TanterTanter, Éric University of ChileChile Trace-Relating Compiler Correctness and Secure Compilation
Jérémy ThibaultThibault, Jérémy Inria Paris Trace-Relating Compiler Correctness and Secure Compilation
Michael Kirkedal ThomsenThomsen, Michael Kirkedal DIKU, University of Copenhagen Hermes: Implementing Cryptography without Side-channels
Andrew TolmachTolmach, Andrew Portland State University Flexible Tag-based Policies for Compartmentalized C
Alix TrieuTrieu, Alix Aarhus UniversityDenmark Mechanized Reasoning about a Capability Machine
Mark TullsenTullsen, Mark Galois, Inc Exploits as Insecure Compilation
V Jo Van BulckVan Bulck, Jo imec-DistriNet, Dept. of Computer Science, KU Leuven, Belgium Securing Interruptible Enclaves
Marco VassenaVassena, Marco CISPA Helmholtz Center for Information SecurityGermany Session Chair of Foundations and timing channels (part of PriSC) Memory Safety Preservation for WebAssembly Short Talk: Automatically Eliminating Speculative Leaks With Blade Committee Member in Program Committee within the PriSC-track
W Riad S. WahbyWahby, Riad S. Stanford University, USA Universal Composability is Secure Compilation