PriSC 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (61)

A Amal AhmedAhmed, Amal Northeastern University, USAUnited States Author in Steering Committee within the PriSC-track
B Aurèle BarrièreBarrière, Aurèle EPFLSwitzerland Committee Member in Program Committee within the PriSC-track
Gilles BartheBarthe, Gilles MPI-SP; IMDEA Software InstituteGermany Preservation of Speculative Constant-time by Compilation
Frédéric BessonBesson, Frédéric Inria, Rennes BeePL: Correct-by-compilation kernel extensions
Lionel BlatterBlatter, Lionel Max Planck Institute for Security and Privacy Preservation of Speculative Constant-time by Compilation
Sandrine BlazyBlazy, Sandrine University of RennesFrance Committee Member in Program Committee within the PriSC-track
C Ethan CecchettiCecchetti, Ethan University of Wisconsin-MadisonUnited States Leveraging Duality for Programming with zkSNARKs
D Lesly-Ann DanielDaniel, Lesly-Ann CEA ListFrance Committee Member in Program Committee within the PriSC-track
Farzaneh DerakhshanDerakhshan, Farzaneh Illinois Institute of TechnologyUnited States Committee Member in Program Committee within the PriSC-track
Derek DreyerDreyer, Derek MPI-SWSGermany A Semantic Approach to Robust Property Preservation
E Mohamed ElwakilElwakil, Mohamed U.S. Coast Guard AcademyUnited States Automatic Inference of Enclave Placement in LLVM Compiler
F Xaver FabianFabian, Xaver CISPA Committee Member in Program Committee within the PriSC-track
Chris FallinFallin, Chris F5United States Author in Steering Committee within the PriSC-track
G Joshua GancherGancher, Joshua Northeastern UniversityUnited States ILA: Correctness via Type Checking for Fully Homomorphic Encryption Committee Member in Program Committee within the PriSC-track
Deepak GargGarg, Deepak MPI-SWSGermany A Semantic Approach to Robust Property Preservation Non-Interference Preserving and Optimising Compilation with Hyperproperty Simulations
Aina Linn GeorgesGeorges, Aina Linn Max Planck Institute for Software Systems (MPI-SWS) A Semantic Approach to Robust Property Preservation
Anitha GollamudiGollamudi, Anitha University of Massachusetts LowellUnited States Automatic Inference of Enclave Placement in LLVM Compiler ILA: Correctness via Type Checking for Fully Homomorphic Encryption
Tarakaram GollamudiGollamudi, Tarakaram None ILA: Correctness via Type Checking for Fully Homomorphic Encryption
Benjamin GregoireGregoire, Benjamin INRIA Preservation of Speculative Constant-time by Compilation
Marco GuarnieriGuarnieri, Marco IMDEA Software InstituteSpain Author in Steering Committee within the PriSC-track
H Sebastian HackHack, Sebastian Saarland University, Saarland Informatics CampusGermany Non-Interference Preserving and Optimising Compilation with Hyperproperty Simulations
Muhammad HassnainHassnain, Muhammad University of California, Davis Counterexamples in Safe Rust
Cătălin HriţcuHriţcu, Cătălin MPI-SPGermany Author in Steering Committee within the PriSC-track
J Ranjit JhalaJhala, Ranjit UCSD Auditing Rust Crates Effectively
Limin JiaJia, Limin Carnegie Mellon University Committee Member in Program Committee within the PriSC-track
K Rahul KrishnanKrishnan, Rahul University of Wisconsin-MadisonUnited States Leveraging Duality for Programming with zkSNARKs
L Vincent LaporteLaporte, Vincent Inria Preservation of Speculative Constant-time by Compilation
Per LarsenLarsen, Per University of California, Irvine Committee Member in Program Committee within the PriSC-track
Michael LeMayLeMay, Michael Committee Member in Program Committee within the PriSC-track
M Roland MeyerMeyer, Roland TU BraunschweigGermany SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations
Andrew MyersMyers, Andrew Cornell University Author in Steering Committee within the PriSC-track
Niklas MückMück, Niklas MPI-SWSGermany A Semantic Approach to Robust Property Preservation
N Hamed NematiNemati, Hamed KTH Royal Institute of TechnologySweden Committee Member in Program Committee within the PriSC-track
Wesley B NuzzoNuzzo, Wesley B University of Massachusetts, Lowell (UML) Automatic Inference of Enclave Placement in LLVM Compiler
O Santiago Arranz OlmosOlmos, Santiago Arranz Max Planck Institute for Security and Privacy Preservation of Speculative Constant-time by Compilation
P Bryan ParnoParno, Bryan Carnegie Mellon UniversityUnited States Keynote: Bringing Verified Cryptographic Protocols to Practice
Marco PatrignaniPatrignani, Marco University of TrentoItaly Opening Remarks Closing Remarks Co-chair in Program Committee within the PriSC-track Author in Steering Committee within the PriSC-track
Frank PiessensPiessens, Frank KU Leuven Author in Steering Committee within the PriSC-track
Swarn PriyaPriya, Swarn Virginia TechUnited States BeePL: Correct-by-compilation kernel extensions Committee Member in Program Committee within the PriSC-track
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Azure ResearchUnited States Author in Steering Committee within the PriSC-track
R Vineet RajaniRajani, Vineet University of Kent Committee Member in Program Committee within the PriSC-track
Tamara RezkRezk, Tamara INRIAFrance Committee Member in Program Committee within the PriSC-track
Julian RosemannRosemann, Julian Saarland University, Saarland Informatics CampusGermany Non-Interference Preserving and Optimising Compilation with Hyperproperty Simulations
S Malavika SamakSamak, Malavika Apple IncUnited States Committee Member in Program Committee within the PriSC-track
Michael SammlerSammler, Michael Institute of Science and Technology AustriaAustria A Semantic Approach to Robust Property Preservation Committee Member in Program Committee within the PriSC-track
Shweta ShindeShinde, Shweta ETH ZurichSwitzerland Author in Steering Committee within the PriSC-track
Caleb StanfordStanford, Caleb University of California, DavisUnited States Counterexamples in Safe Rust Auditing Rust Crates Effectively
Tim SteenvoordenSteenvoorden, Tim Open UniversiteitNetherlands BeePL: Correct-by-compilation kernel extensions
Deian StefanStefan, Deian University of California at San DiegoUnited States Auditing Rust Crates Effectively Author in Steering Committee within the PriSC-track
Connor SughrueSughrue, Connor Virginia Tech BeePL: Correct-by-compilation kernel extensions
T Jérémy ThibaultThibault, Jérémy MPI-SP Committee Member in Program Committee within the PriSC-track
David ThienThien, David University of California, San Diego Auditing Rust Crates Effectively
V Sören van der Wallvan der Wall, Sören TU BraunschweigGermany SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations
Alexa VanHattumVanHattum, Alexa Wellesley CollegeUnited States Committee Member in Program Committee within the PriSC-track
Marco VassenaVassena, Marco Utrecht UniversityNetherlands Opening Remarks Closing Remarks Co-chair in Program Committee within the PriSC-track Committee Member in Steering Committee within the PriSC-track
Freek VerbeekVerbeek, Freek Open Universiteit & Virginia Tech BeePL: Correct-by-compilation kernel extensions
Klaus von Gleissenthallvon Gleissenthall, Klaus Vrije Universiteit AmsterdamNetherlands Committee Member in Program Committee within the PriSC-track
W Yuting WangWang, Yuting Shanghai Jiao Tong UniversityChina Committee Member in Program Committee within the PriSC-track
Conrad WattWatt, Conrad Nanyang Technological UniversitySingapore Committee Member in Program Committee within the PriSC-track
Z Yannick ZakowskiZakowski, Yannick InriaFrance Committee Member in Program Committee within the PriSC-track
Lydia ZoghbiZoghbi, Lydia University of California, San Diego Auditing Rust Crates Effectively