PriSC 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (60)

A Carmine AbateAbate, Carmine Inria Paris Committee Member in Program Committee within the PriSC-track
Amal AhmedAhmed, Amal Northeastern University, USAUnited States All the Binaries Together: A Semantic Approach to Application Binary Interfaces Steering Committee Member in Steering Committee within the PriSC-track
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Gradual Verification for Smart Contracts
Abhishek AnandAnand, Abhishek BedRock SystemsUnited States Modularizing CPU Semantics for Virtualization
B Michael BackesBackes, Michael Cispa Helmholtz Center for Information Security Lifting Compiler Security Properties to Stronger Attackers: the Speculation Case Secure Composition of SPECTRE Mitigations
William J. BowmanBowman, William J. University of British ColumbiaCanada Committee Member in Program Committee within the PriSC-track
Stefan BrunthalerBrunthaler, Stefan Bundeswehr University MunichGermany Committee Member in Program Committee within the PriSC-track
Matteo BusiBusi, Matteo University Ca' Foscari, VeniceItaly Session Chair of Session 3 (part of PriSC) When Obfuscations Preserve Cryptographic Constant-Time Committee Member in Program Committee within the PriSC-track
C Ethan CecchettiCecchetti, Ethan University of Wisconsin-MadisonUnited States Computational-Bounded Robust Compilation and Universally Composable Security
David ChisnallChisnall, David SCI SemiconductorUnited Kingdom Committee Member in Program Committee within the PriSC-track
Andreea CosteaCostea, Andreea National University of SingaporeSingapore Committee Member in Program Committee within the PriSC-track
D Hoang-Hai DangDang, Hoang-Hai BedRock SystemsGermany Towards Modular Specification and Verification of Concurrent Hypervisor-based Isolation Modularizing CPU Semantics for Virtualization
Lesly-Ann DanielDaniel, Lesly-Ann Compiler Support for Control-Flow Linearization Using Architectural Mimicry
Lesly-Ann DanielDaniel, Lesly-Ann CEA ListFrance Committee Member in Program Committee within the PriSC-track
Pierpaolo DeganoDegano, Pierpaolo University of Pisa and IMT School for Advanced Studies Lucca When Obfuscations Preserve Cryptographic Constant-Time
Farzaneh DerakhshanDerakhshan, Farzaneh Illinois Institute of TechnologyUnited States Committee Member in Program Committee within the PriSC-track
Dominique DevrieseDevriese, Dominique KU LeuvenBelgium Session Chair of Session 4 (part of PriSC) Secure Calling Conventions for CHERI Capability Machines in Practice (Work in Progress) Steering Committee Member in Steering Committee within the PriSC-track
Jenna DiVincenzo (Wise)DiVincenzo (Wise), Jenna Purdue University Gradual Verification for Smart Contracts
F Xaver FabianFabian, Xaver Cispa Helmholtz Center for Information Security Lifting Compiler Security Properties to Stronger Attackers: the Speculation Case
Chris FallinFallin, Chris FastlyUnited States Steering Committee Member in Steering Committee within the PriSC-track
František FarkaFarka, František BedRock Systems Modularizing CPU Semantics for Virtualization
G Letterio GallettaGalletta, Letterio IMT School for Advanced Studies LuccaItaly When Obfuscations Preserve Cryptographic Constant-Time
Paolo G. GiarrussoGiarrusso, Paolo G. BedRock Systems Modularizing CPU Semantics for Virtualization
Hannah GommerstadtGommerstadt, Hannah Vassar College Committee Member in Program Committee within the PriSC-track
Marco GuarnieriGuarnieri, Marco IMDEA Software InstituteSpain Lifting Compiler Security Properties to Stronger Attackers: the Speculation Case Steering Committee Member in Steering Committee within the PriSC-track
H Cătălin HriţcuHriţcu, Cătălin MPI-SPGermany Steering Committee Member in Steering Committee within the PriSC-track
Sander HuyghebaertHuyghebaert, Sander Vrije Universiteit Brussel Secure Calling Conventions for CHERI Capability Machines in Practice (Work in Progress)
J Thomas P. JensenJensen, Thomas P. INRIA Rennes Committee Member in Program Committee within the PriSC-track
K Steven KeuchelKeuchel, Steven Vrije Universiteit BrusselBelgium Secure Calling Conventions for CHERI Capability Machines in Practice (Work in Progress)
Matthis KruseKruse, Matthis CISPA Helmholtz Center for Information SecurityGermany Secure Composition of SPECTRE Mitigations
Robert KünnemannKünnemann, Robert CISPA Helmholtz Center for Information Security Computational-Bounded Robust Compilation and Universally Composable Security
L Vincent LaporteLaporte, Vincent IMDEA Software Institute, Spain Committee Member in Program Committee within the PriSC-track
Hongjin LiangLiang, Hongjin Nanjing UniversityChina Committee Member in Program Committee within the PriSC-track
M Gregory MalechaMalecha, Gregory BedRock SystemsUnited States Towards Modular Specification and Verification of Concurrent Hypervisor-based Isolation Modularizing CPU Semantics for Virtualization
McKenna McCallMcCall, McKenna Committee Member in Program Committee within the PriSC-track
Aastha MehtaMehta, Aastha The University of British Columbia Microarchitectural Side-Channel Mitigations for Serverless Applications
Andrew MyersMyers, Andrew Cornell University Steering Committee Member in Steering Committee within the PriSC-track
P Marco PatrignaniPatrignani, Marco University of TrentoItaly Session Chair of Session 1 (part of PriSC) Introduction Steering Committee Member in Steering Committee within the PriSC-track PC Chair in Program Committee within the PriSC-track
Frank PiessensPiessens, Frank KU Leuven Compiler Support for Control-Flow Linearization Using Architectural Mimicry Steering Committee Member in Steering Committee within the PriSC-track
Clément Pit-ClaudelPit-Claudel, Clément EPFLSwitzerland Committee Member in Program Committee within the PriSC-track
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research, RedmondUnited States Steering Committee Member in Steering Committee within the PriSC-track
R Jan-Paul Ramos-DavilaRamos-Davila, Jan-Paul Cornell UniversityUnited States Gradual Verification for Smart Contracts
Alastair ReidReid, Alastair Intel/Intel LabsUnited Kingdom Committee Member in Program Committee within the PriSC-track
Jan ReinekeReineke, Jan Saarland UniversityGermany Committee Member in Program Committee within the PriSC-track
S Peter SewellSewell, Peter University of CambridgeUnited Kingdom Keynote: Can we reason about the security of concurrent systems code?
Shweta ShindeShinde, Shweta ETH ZurichSwitzerland Closing Remarks Introduction Steering Committee Member in Steering Committee within the PriSC-track PC Chair in Program Committee within the PriSC-track
Kunal SinghSingh, Kunal Carnegie Mellon University Gradual Verification for Smart Contracts
Deian StefanStefan, Deian University of California at San DiegoUnited States Steering Committee Chair in Steering Committee within the PriSC-track
Elias StormeStorme, Elias KU LeuvenBelgium Secure Calling Conventions for CHERI Capability Machines in Practice (Work in Progress)
Haojia SunSun, Haojia Shanghai Jiao Tong UniversityChina Gradual Verification for Smart Contracts
David SwaseySwasey, David BedRock Systems Towards Modular Specification and Verification of Concurrent Hypervisor-based Isolation
T Alix TrieuTrieu, Alix ANSSIFrance Committee Member in Program Committee within the PriSC-track
Stelios TsampasTsampas, Stelios Committee Member in Program Committee within the PriSC-track
V Thomas Van StrydonckVan Strydonck, Thomas KULeuven Secure Calling Conventions for CHERI Capability Machines in Practice (Work in Progress)
Alexa VanHattumVanHattum, Alexa Wellesley CollegeUnited States Committee Member in Program Committee within the PriSC-track
Daan VanoverloopVanoverloop, Daan KU Leuven Compiler Support for Control-Flow Linearization Using Architectural Mimicry
Marco VassenaVassena, Marco Utrecht UniversityNetherlands Session Chair of Session 2 (part of PriSC) Committee Member in Program Committee within the PriSC-track
W Andrew WagnerWagner, Andrew Northeastern University All the Binaries Together: A Semantic Approach to Application Binary Interfaces
Yayu WangWang, Yayu The University of British Columbia Microarchitectural Side-Channel Mitigations for Serverless Applications
Hans WinderixWinderix, Hans KU Leuven Compiler Support for Control-Flow Linearization Using Architectural Mimicry