PriSC 2018 Contributors -

Mon 8 - Sat 13 January 2018 Los Angeles, California, United States

co-located with POPL 2018

Filter

Role Type

Contributing to

Number of Roles

Country

Results (36)

A Amal AhmedAhmed, Amal Northeastern University, USAUnited States Session Chair of Session 1 (part of PriSC) On Compositional Compiler Correctness and Fully Abstract Compilation Committee Member in Program Committee within the PriSC-track Organizer in Organizing Committee within the PriSC-track
Arthur Azevedo de AmorimAzevedo de Amorim, Arthur Carnegie Mellon University, USAUnited States Short talk: The Meaning of Memory Safety Formally Secure Compilation of Unsafe Low-Level Components
B Lars BirkedalBirkedal, Lars Aarhus University Session Chair of Session 3 (part of PriSC) Enforcing Well-bracketed Control Flow and Stack Encapsulation using Linear Capabilities Committee Member in Program Committee within the PriSC-track
William J. BowmanBowman, William J. Northeastern University, USAUnited States Short talk: Dependently Typed Assembly for Secure Linking
C Sunjay CauligiCauligi, Sunjay UCSD Constant-time WebAssembly
D Vijay D'SilvaD'Silva, Vijay Google Secure Compilation in a Production Environment
Pierre-Evariste DagandDagand, Pierre-Evariste LIP6/CNRS France Foundations of Dependent Interoperability
Dominique DevrieseDevriese, Dominique KU LeuvenBelgium Session Chair of Short Talks Session (part of PriSC) Enforcing Well-bracketed Control Flow and Stack Encapsulation using Linear Capabilities Linear capabilities for modular fully-abstract compilation of verified code Committee Member in Program Committee within the PriSC-track Organizer in Organizing Committee within the PriSC-track
E Ana Nora EvansEvans, Ana Nora University of Virginia, USAUnited States Formally Secure Compilation of Unsafe Low-Level Components
F Guglielmo FachiniFachini, Guglielmo Inria Paris Formally Secure Compilation of Unsafe Low-Level Components
Cédric FournetFournet, Cédric Microsoft Research Building Secure SGX Enclaves using F*, C/C++ and X64 Committee Member in Program Committee within the PriSC-track
G Deepak GargGarg, Deepak Max Planck Institute for Software SystemsGermany Robust Hyperproperty Preservation for Secure Compilation Committee Member in Program Committee within the PriSC-track Organizer in Organizing Committee within the PriSC-track
Anitha GollamudiGollamudi, Anitha Building Secure SGX Enclaves using F*, C/C++ and X64
H Cătălin HriţcuHriţcu, Cătălin Inria Paris Session Chair of Welcome and Invited Talk (part of PriSC) PriSC Welcome Robust Hyperproperty Preservation for Secure Compilation Short talk: The Meaning of Memory Safety Formally Secure Compilation of Unsafe Low-Level Components Program Chair in Program Committee within the PriSC-track Organizer in Organizing Committee within the PriSC-track
L Théo LaurentLaurent, Théo Formally Secure Compilation of Unsafe Low-Level Components
Xavier LeroyLeroy, Xavier Inria Committee Member in Program Committee within the PriSC-track
N Santosh NagarakatteNagarakatte, Santosh Rutgers University, USAUnited States Short talk: Compiler Optimizations with Retrofitting Transformations: Is there a Semantic Mismatch?
David NaumannNaumann, David Stevens Institute of Technology Session Chair of Session 2 (part of PriSC) Committee Member in Program Committee within the PriSC-track
P Marco PatrignaniPatrignani, Marco Saarland University, CISPAGermany Robust Hyperproperty Preservation for Secure Compilation Committee Member in Program Committee within the PriSC-track Organizer in Organizing Committee within the PriSC-track
Daniel PattersonPatterson, Daniel Northeastern UniversityUnited States On Compositional Compiler Correctness and Fully Abstract Compilation
Mathias PayerPayer, Mathias Purdue UniversityUnited States Challenges For Compiler-backed Security: From Sanitizer to Mitigation (Invited Talk)
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States Short talk: The Meaning of Memory Safety Formally Secure Compilation of Unsafe Low-Level Components
Frank PiessensPiessens, Frank KU Leuven Linear capabilities for modular fully-abstract compilation of verified code Committee Member in Program Committee within the PriSC-track
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research, n.n.United States Short Talk: Secure compilation from F* to WebAssembly
R John RennerRenner, John UCSD Constant-time WebAssembly
Tamara RezkRezk, Tamara InriaFrance Committee Member in Program Committee within the PriSC-track Organizer in Organizing Committee within the PriSC-track
S Rob SisonSison, Rob Data61, CSIRO and UNSWAustralia Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs
Lau SkorstengaardSkorstengaard, Lau Enforcing Well-bracketed Control Flow and Stack Encapsulation using Linear Capabilities
Deian StefanStefan, Deian University of California, San Diego Constant-time WebAssembly
Marco StronatiStronati, Marco Robust Hyperproperty Preservation for Secure Compilation Formally Secure Compilation of Unsafe Low-Level Components
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States Committee Member in Program Committee within the PriSC-track
David SwaseySwasey, David MPI-SWSGermany Robust Hyperproperty Preservation for Secure Compilation
T Nicolas TabareauTabareau, Nicolas Inria, France Foundations of Dependent Interoperability
Éric TanterTanter, Éric University of ChileChile Foundations of Dependent Interoperability
Andrew TolmachTolmach, Andrew Portland State University Formally Secure Compilation of Unsafe Low-Level Components
V Thomas Van StrydonckVan Strydonck, Thomas KULeuven Linear capabilities for modular fully-abstract compilation of verified code