PriSC 2021 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (63)

A Carmine AbateAbate, Carmine Max Planck Institute for Security and Privacy, Bochum, Germany The Fox and the Hound: Comparing Fully Abstract and Robust Compilation
Coşku AcayAcay, Coşku Cornell UniversityUnited States Viaduct: An Optimizing, Extensible Compiler for Secure Distributed Programs
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Committee Member in Program Committee within the PriSC-track
Andrew W. AppelAppel, Andrew W. Princeton Committee Member in Program Committee within the PriSC-track
B Gilles BartheBarthe, Gilles MPI-SP, Germany / IMDEA Software Institute, Spain High-Assurance Cryptography in the Spectre Era
Lars BirkedalBirkedal, Lars Aarhus University Toward Complete Stack Safety for Capability Machines
William J. BowmanBowman, William J. University of British ColumbiaCanada Compilation as Multi-Language Semantics
Fraser BrownBrown, Fraser Stanford University, USA Session Chair of Secure compilers & cryptography (part of PriSC) High-level high-speed high-assurance crypto Committee Member in Program Committee within the PriSC-track
Matteo BusiBusi, Matteo Università di Pisa - Dipartimento di Informatica The Fox and the Hound: Comparing Fully Abstract and Robust Compilation
C Sunjay CauligiCauligi, Sunjay University of California at San Diego, USA High-Assurance Cryptography in the Spectre Era
Jonathan CoganCogan, Jonathan Stanford High-level high-speed high-assurance crypto
Albert CohenCohen, Albert GoogleFrance Secure Optimization Through Opaque Observations
D Arnaud de Grandmaisonde Grandmaison, Arnaud ARM Secure Optimization Through Opaque Observations
Delphine DemangeDemange, Delphine Univ Rennes, Inria, CNRS, IRISAFrance Committee Member in Program Committee within the PriSC-track
Dominique DevrieseDevriese, Dominique Vrije Universiteit BrusselBelgium A Categorical Approach to Secure Compilation (and others things) (short talk) Committee Member in Steering Committee within the PriSC-track
F Nick FitzgeraldFitzgerald, Nick Committee Member in Program Committee within the PriSC-track
G Marco GaboardiGaboardi, Marco Boston UniversityUnited States Committee Member in Program Committee within the PriSC-track
Joshua GancherGancher, Joshua Cornell University Viaduct: An Optimizing, Extensible Compiler for Secure Distributed Programs
Deepak GargGarg, Deepak Max Planck Institute for Software SystemsGermany Committee Member in Steering Committee within the PriSC-track
Aina Linn GeorgesGeorges, Aina Linn Aarhus University Toward Complete Stack Safety for Capability Machines
Marc GourjonGourjon, Marc Hamburg University of Technology and NXP Semiconductors Germany GmbH Explicit Leakage: Handling Side-Channel Behavior in Program Rewriting and Analysis
Benjamin GregoireGregoire, Benjamin INRIA High-Assurance Cryptography in the Spectre Era
Marco GuarnieriGuarnieri, Marco ETH Zurich, Switzerland Contract-aware Secure Compilation (short talk)
Marco GuarnieriGuarnieri, Marco IMDEA Software InstituteSpain Committee Member in Program Committee within the PriSC-track
Christophe GuillonGuillon, Christophe STMicroelectronics Secure Optimization Through Opaque Observations
Armaël GuéneauGuéneau, Armaël Aarhus University Toward Complete Stack Safety for Capability Machines
H Karine HeydemannHeydemann, Karine Sorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6 Secure Optimization Through Opaque Observations
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 Nanopass Back-Translation of Multiple Traces for Secure Compilation Proofs Committee Member in Steering Committee within the PriSC-track
Chung-Kil HurHur, Chung-Kil Seoul National University, South Korea Committee Member in Program Committee within the PriSC-track
K Adrien KoutsosKoutsos, Adrien INRIA Paris High-Assurance Cryptography in the Spectre Era
L Xavier LeroyLeroy, Xavier Collège de FranceFrance Committee Member in Program Committee within the PriSC-track
Kevin LiaoLiao, Kevin Max Planck Institute for Security and Privacy High-Assurance Cryptography in the Spectre Era
Kangjie LuLu, Kangjie University of Minnesota Cross-Architecture Testing for Compiler-Introduced Security Bugs
M Bing MaoMao, Bing Nanjing University Cross-Architecture Testing for Compiler-Introduced Security Bugs
Aastha MehtaMehta, Aastha MPI-SWS, Germany and University of British Columbia, Canada Session Chair of Secure compilers & cryptography (part of PriSC) Committee Member in Program Committee within the PriSC-track
Andrew MyersMyers, Andrew Cornell University Viaduct: An Optimizing, Extensible Compiler for Secure Distributed Programs
N Santosh NagarakatteNagarakatte, Santosh Rutgers University, USA Committee Member in Steering Committee within the PriSC-track Committee Member in Program Committee within the PriSC-track
Andreas NuytsNuyts, Andreas KU Leuven, BelgiumBelgium A Categorical Approach to Secure Compilation (and others things) (short talk)
O Tiago OliveiraOliveira, Tiago University of Porto (FCUP) and INESC TEC High-Assurance Cryptography in the Spectre Era
Alex OzdemirOzdemir, Alex Stanford High-level high-speed high-assurance crypto
P Zoe ParaskevopoulouParaskevopoulou, Zoe Princeton UniversityUnited States Committee Member in Program Committee within the PriSC-track
Marco PatrignaniPatrignani, Marco Stanford University, USA / CISPA, Germany Session Chair of Formal analysis & proof techniques (part of PriSC) Contract-aware Secure Compilation (short talk)
Jennifer PaykinPaykin, Jennifer Galois, Inc.United States Committee Member in Program Committee within the PriSC-track
Frank PiessensPiessens, Frank KU Leuven A Categorical Approach to Secure Compilation (and others things) (short talk)
Swarn PriyaPriya, Swarn Purdue University High-Assurance Cryptography in the Spectre Era
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research, RedmondUnited States Session Chair of Formal analysis & proof techniques (part of PriSC) Committee Member in Steering Committee within the PriSC-track Committee Member in Program Committee within the PriSC-track
R Rolph RectoRecto, Rolph Viaduct: An Optimizing, Extensible Compiler for Secure Distributed Programs
Tamara RezkRezk, Tamara Inria, France High-Assurance Cryptography in the Spectre Era Committee Member in Steering Committee within the PriSC-track Committee Member in Program Committee within the PriSC-track
Andreas RossbergRossberg, Andreas Dfinity StiftungGermany Committee Member in Program Committee within the PriSC-track
S Peter SchwabeSchwabe, Peter Max Planck Institute for Security and Privacy High-Assurance Cryptography in the Spectre Era
Ilya SergeySergey, Ilya Yale-NUS College and National University of SingaporeSingapore Committee Member in Program Committee within the PriSC-track
Elaine ShiShi, Elaine Cornell University Viaduct: An Optimizing, Extensible Compiler for Secure Distributed Programs
Shweta ShindeShinde, Shweta ETH ZurichSwitzerland Committee Member in Program Committee within the PriSC-track
Deian StefanStefan, Deian University of California at San Diego, USA Session Chair of Short talks (part of PriSC) Session Chair of Invited talk (part of PriSC) Committee Member in Steering Committee within the PriSC-track Committee Member in Program Committee within the PriSC-track
T Jérémy ThibaultThibault, Jérémy MPI-SPGermany Nanopass Back-Translation of Multiple Traces for Secure Compilation Proofs
Alix TrieuTrieu, Alix Aarhus UniversityDenmark Toward Complete Stack Safety for Capability Machines
Stelios TsampasTsampas, Stelios A Categorical Approach to Secure Compilation (and others things) (short talk)
V Hugo VincentVincent, Hugo Arm ResearchUnited Kingdom Frontiers in Secure Compilation – an Industrial Perspective (invited talk)
Son Tuan VuVu, Son Tuan Sorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6 Secure Optimization Through Opaque Observations
W Riad S. WahbyWahby, Riad S. Stanford University, USA High-level high-speed high-assurance crypto
Conrad WattWatt, Conrad University of Cambridge, UK Committee Member in Program Committee within the PriSC-track
X Jianhao XuXu, Jianhao Nanjing University Cross-Architecture Testing for Compiler-Introduced Security Bugs