PriSC 2022 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (54)

A Carmine AbateAbate, Carmine Max Planck Institute for Security and Privacy, Bochum, Germany The Fox and the Hound (Episode 2): Fully Abstract, Robust Compilation and How to Reconcile the Two, Abstractly
Owen ArdenArden, Owen UC Santa CruzUnited States Committee Member in Program Committee within the PriSC-track
Arthur Azevedo de AmorimAzevedo de Amorim, Arthur Boston UniversityUnited States Session Chair of Secure compilation theory (part of PriSC) Committee Member in Program Committee within the PriSC-track
B Iulia BastysBastys, Iulia Chalmers University of TechnologySweden Committee Member in Program Committee within the PriSC-track
Frédéric BessonBesson, Frédéric Inria Type-directed Program Transformation for Constant-Time Enforcement
Roberto BlancoBlanco, Roberto Max Planck Institute for Security and Privacy (MPI-SP) SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation Committee Member in Program Committee within the PriSC-track
Daniel BorkmannBorkmann, Daniel Isovalent BPF and Spectre: Mitigating transient execution attacks
Sylvain BoulméBoulmé, Sylvain Grenoble Alps University / CNRS / Grenoble INP / VERIMAG A CompCert backend with symbolic encryption
Tegan BrennanBrennan, Tegan Stevens Institute of TechnologyUnited States PC Member in Program Committee within the PriSC-track
Matteo BusiBusi, Matteo Università di Pisa - Dipartimento di InformaticaItaly The Fox and the Hound (Episode 2): Fully Abstract, Robust Compilation and How to Reconcile the Two, Abstractly Committee Member in Program Committee within the PriSC-track
C Sunjay CauligiCauligi, Sunjay University of California at San Diego, USA Committee Member in Program Committee within the PriSC-track
Scott ConstableConstable, Scott Intel Corporation Towards Understanding Spectre-PHT in Memory-Safe Languages
D Dominique DevrieseDevriese, Dominique Vrije Universiteit BrusselBelgium Committee Member in Steering Committee within the PriSC-track
Adrien DurierDurier, Adrien Max Planck Institute for Security and Privacy (MPI-SP) SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation
E Akram El-KorashyEl-Korashy, Akram Max Planck Institute for Software Systems (MPI-SWS) SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation
G Deepak GargGarg, Deepak MPI-SWSGermany SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation Committee Member in Steering Committee within the PriSC-track
Marco GuarnieriGuarnieri, Marco IMDEA Software InstituteSpain Session Chair of Secure systems (part of PriSC) Session Chair of Short talks (part of PriSC) Session Chair of Keynote II (part of PriSC) Co-chair in Program Committee within the PriSC-track Committee Member in Steering Committee within the PriSC-track
Armaël GuéneauGuéneau, Armaël Aarhus University Committee Member in Program Committee within the PriSC-track
H Michael HicksHicks, Michael University of Maryland at College Park Committee Member in Steering Committee within the PriSC-track
Cătălin HriţcuHriţcu, Cătălin MPI-SPGermany SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation Committee Member in Steering Committee within the PriSC-track
J Thomas P. JensenJensen, Thomas P. INRIA Rennes Type-directed Program Transformation for Constant-Time Enforcement
K Johannes KinderKinder, Johannes Bundeswehr University MunichGermany Committee Member in Program Committee within the PriSC-track
Adrien KoutsosKoutsos, Adrien INRIA Paris Committee Member in Program Committee within the PriSC-track
Elisavet KozyriKozyri, Elisavet Arctic University of NorwayNorway Committee Member in Program Committee within the PriSC-track
Matthis KruseKruse, Matthis CISPA Helmholtz Center for Information SecurityGermany Composing Secure Compilers
Piotr KrysiukKrysiuk, Piotr Symantec, Threat Hunter Team BPF and Spectre: Mitigating transient execution attacks
L Yao LiLi, Yao University of PennsylvaniaUnited States Effect-Oblivious Equivalence
Fangfei LiuLiu, Fangfei Intel Corporation Towards Understanding Spectre-PHT in Memory-Safe Languages
M Scott MooreMoore, Scott Galois, Inc.United States Synthesizing Evidence of Emergent Computation Committee Member in Program Committee within the PriSC-track
Dominic MulliganMulligan, Dominic Arm ResearchUnited Kingdom The Supervisionary proof-checking kernel, or: a work-in-progress toward proof-generating code
Toby MurrayMurray, Toby University of MelbourneAustralia Committee Member in Program Committee within the PriSC-track
Andrew MyersMyers, Andrew Cornell University Committee Member in Program Committee within the PriSC-track
N Santosh NagarakatteNagarakatte, Santosh Rutgers UniversityUnited States Committee Member in Steering Committee within the PriSC-track
P Marco PatrignaniPatrignani, Marco CISPA Helmholtz Center for Information Security / Stanford University Composing Secure Compilers
Jennifer PaykinPaykin, Jennifer Galois, Inc.United States Synthesizing Evidence of Emergent Computation
David PichardiePichardie, David Facebook ParisFrance Committee Member in Program Committee within the PriSC-track
Frank PiessensPiessens, Frank KU Leuven Providing evidence for the security properties of hardware/software codesigns
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research, RedmondUnited States Session Chair of Keynote I (part of PriSC) Session Chair of Attacks and defenses (part of PriSC) Co-chair in Program Committee within the PriSC-track Committee Member in Steering Committee within the PriSC-track
R Gautier RaimondiRaimondi, Gautier Inria Type-directed Program Transformation for Constant-Time Enforcement
Tamara RezkRezk, Tamara Inria, France Committee Member in Steering Committee within the PriSC-track
Christine RizkallahRizkallah, Christine University of MelbourneAustralia Committee Member in Program Committee within the PriSC-track
Carlos RozasRozas, Carlos Intel Corporation Towards Understanding Spectre-PHT in Memory-Safe Languages
S Olivier Savary BélangerSavary Bélanger, Olivier Galois, Inc.United States Synthesizing Evidence of Emergent Computation
Benedict SchlüterSchlüter, Benedict Ruhr University Bochum BPF and Spectre: Mitigating transient execution attacks
Zhong ShaoShao, Zhong Yale UniversityUnited States Committee Member in Program Committee within the PriSC-track
Nick SpinaleSpinale, Nick Arm Research The Supervisionary proof-checking kernel, or: a work-in-progress toward proof-generating code
Deian StefanStefan, Deian University of California at San DiegoUnited States Committee Member in Steering Committee within the PriSC-track
T Éric TanterTanter, Éric University of Chile Committee Member in Program Committee within the PriSC-track
Jérémy ThibaultThibault, Jérémy MPI-SP SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation
Paolo TorriniTorrini, Paolo INRIA A CompCert backend with symbolic encryption
Stelios TsampasTsampas, Stelios FAU Erlangen-Nuremberg, INF 8 The Fox and the Hound (Episode 2): Fully Abstract, Robust Compilation and How to Reconcile the Two, Abstractly
W Stephanie WeirichWeirich, Stephanie University of PennsylvaniaUnited States Effect-Oblivious Equivalence
Z Danfeng ZhangZhang, Danfeng Pennsylvania State UniversityUnited States Committee Member in Program Committee within the PriSC-track
Zirui Neil ZhaoZhao, Zirui Neil University of Illinois at Urbana-ChampaignUnited States Towards Understanding Spectre-PHT in Memory-Safe Languages