PriSC 2023 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (63)

A Coşku AcayAcay, Coşku Cornell UniversityUnited States Universally Composable Security for Program Partitioning
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Semantic Intermediate Representations for Sound Language Interoperability
Basavesh Ammanaghatta ShivakumarAmmanaghatta Shivakumar, Basavesh Max Planck Institute for Security and Privacy (MPI-SP)Germany Robust Constant-Time Cryptography
Cezar-Constantin AndriciAndrici, Cezar-Constantin MPI-SPGermany Securely Compiling F* Programs With IO and Then Linking Them Against Weakly-Typed Interfaces
Arthur Azevedo de AmorimAzevedo de Amorim, Arthur Boston UniversityUnited States SECOMP2CHERI: Securely Compiling Compartments from CompCert C to a Capability Machine
B Musard BalliuBalliu, Musard KTH Royal Institute of TechnologySweden Committee Member in Program Committee within the PriSC-track
Sébastien BardinBardin, Sébastien CEA LIST, University Paris-SaclayFrance Session Chair of Session 3 (part of PriSC) Committee Member in Program Committee within the PriSC-track
Abhishek BichhawatBichhawat, Abhishek Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the PriSC-track
Roberto BlancoBlanco, Roberto MPI-SPGermany SECOMP2CHERI: Securely Compiling Compartments from CompCert C to a Capability Machine
William J. BowmanBowman, William J. University of British ColumbiaCanada Committee Member in Program Committee within the PriSC-track
Fraser BrownBrown, Fraser CMU FaJITa: Verifying Optimizations on Just-In-Time Programs Cachet: A Domain-Specific Language for Trustworthy Just-In-Time Compilers
Matteo BusiBusi, Matteo University Ca' Foscari, VeniceItaly Session Chair of Session 4 (part of PriSC) pi_RA: A pi-calculus for verifying protocols that use remote attestation Automated Learning and Verification of Embedded Security Architectures
C Sunjay CauligiCauligi, Sunjay University of California at San Diego, USA Robust Constant-Time Cryptography
Ethan CecchettiCecchetti, Ethan University of Maryland, College ParkUnited States Committee Member in Program Committee within the PriSC-track
D Lesly-Ann DanielDaniel, Lesly-Ann CEA ListFrance Committee Member in Program Committee within the PriSC-track
Farzaneh DerakhshanDerakhshan, Farzaneh Carnegie Mellon UniversityUnited States Towards End-to-End Verified TEEs via Verified Interface Conformance and Interface-Preserving Compilers
Dominique DevrieseDevriese, Dominique KU LeuvenBelgium pi_RA: A pi-calculus for verifying protocols that use remote attestation Committee Member in Steering Committee within the PriSC-track
Craig DisselkoenDisselkoen, Craig University of California at San DiegoUnited States Committee Member in Program Committee within the PriSC-track
Jenna DiVincenzo (Wise)DiVincenzo (Wise), Jenna Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the PriSC-track
E Marco EilersEilers, Marco ETH ZurichSwitzerland Committee Member in Program Committee within the PriSC-track
F Riccardo FocardiFocardi, Riccardo University Ca' Foscari, Venice Automated Learning and Verification of Embedded Security Architectures
G Letterio GallettaGalletta, Letterio IMT School for Advanced Studies LuccaItaly Committee Member in Program Committee within the PriSC-track
Joshua GancherGancher, Joshua Carnegie Mellon UniversityUnited States Universally Composable Security for Program Partitioning
Deepak GargGarg, Deepak MPI-SWSGermany Committee Member in Steering Committee within the PriSC-track
Aina Linn GeorgesGeorges, Aina Linn Aarhus UniversityDenmark SECOMP2CHERI: Securely Compiling Compartments from CompCert C to a Capability Machine Committee Member in Program Committee within the PriSC-track
Anitha GollamudiGollamudi, Anitha University of Massachusetts LowellUnited States Committee Member in Program Committee within the PriSC-track
Marco GuarnieriGuarnieri, Marco IMDEA Software InstituteSpain Session Chair of Session 1 (part of PriSC) Co-chair in Program Committee within the PriSC-track Committee Member in Steering Committee within the PriSC-track
H Chris HawblitzelHawblitzel, Chris Microsoft ResearchUnited States Committee Member in Program Committee within the PriSC-track
Michael HicksHicks, Michael University of Maryland; AmazonUnited States Committee Member in Steering Committee within the PriSC-track
Cătălin HriţcuHriţcu, Cătălin MPI-SPGermany Session Chair of Session 2 (part of PriSC) Securely Compiling F* Programs With IO and Then Linking Them Against Weakly-Typed Interfaces SECOMP2CHERI: Securely Compiling Compartments from CompCert C to a Capability Machine Steering Committee Chair in Steering Committee within the PriSC-track
J Ranjit JhalaJhala, Ranjit University of California at San DiegoUnited States Robust Constant-Time Cryptography
Limin JiaJia, Limin Carnegie Mellon University Towards End-to-End Verified TEEs via Verified Interface Conformance and Interface-Preserving Compilers
Evan JohnsonJohnson, Evan University of California at San Diego; ArmUnited States FaJITa: Verifying Optimizations on Just-In-Time Programs
K Matthew KolosickKolosick, Matthew University of California at San DiegoUnited States Robust Constant-Time Cryptography
Matthis KruseKruse, Matthis CISPA Helmholtz Center for Information SecurityGermany Blame-Preserving Secure Compilation
L Emiel LanckrietLanckriet, Emiel KU Leuven pi_RA: A pi-calculus for verifying protocols that use remote attestation Short Talk: Generalising secure compilation criteria
Sorin LernerLerner, Sorin University of California at San DiegoUnited States FaJITa: Verifying Optimizations on Just-In-Time Programs Cachet: A Domain-Specific Language for Trustworthy Just-In-Time Compilers
Hongjin LiangLiang, Hongjin Nanjing UniversityChina Committee Member in Program Committee within the PriSC-track
Flaminia L. LuccioLuccio, Flaminia L. University Ca' Foscari, Venice Automated Learning and Verification of Embedded Security Architectures
M McKenna McCallMcCall, McKenna Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the PriSC-track
Andrew MyersMyers, Andrew Cornell University Universally Composable Security for Program Partitioning
N Santosh NagarakatteNagarakatte, Santosh Rutgers UniversityUnited States Committee Member in Steering Committee within the PriSC-track
P Marco PatrignaniPatrignani, Marco University of TrentoItaly Robust Constant-Time Cryptography Blame-Preserving Secure Compilation Committee Member in Program Committee within the PriSC-track
Clément Pit-ClaudelPit-Claudel, Clément EPFLSwitzerland Committee Member in Program Committee within the PriSC-track
Elizabeth PolgreenPolgreen, Elizabeth University of EdinburghUnited Kingdom Committee Member in Program Committee within the PriSC-track
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research, RedmondUnited States Committee Member in Steering Committee within the PriSC-track
R Rolph RectoRecto, Rolph Cornell UniversityUnited States Universally Composable Security for Program Partitioning
John RennerRenner, John University of California at San Diego, USA Cachet: A Domain-Specific Language for Trustworthy Just-In-Time Compilers
Tamara RezkRezk, Tamara INRIAFrance Committee Member in Steering Committee within the PriSC-track
S Michael SammlerSammler, Michael MPI-SWSGermany Committee Member in Program Committee within the PriSC-track
Hovav ShachamShacham, Hovav University of Texas at Austin FaJITa: Verifying Optimizations on Just-In-Time Programs Cachet: A Domain-Specific Language for Trustworthy Just-In-Time Compilers
Abhishek SharmaSharma, Abhishek UC San Diego Cachet: A Domain-Specific Language for Trustworthy Just-In-Time Compilers
Shweta ShindeShinde, Shweta ETH ZurichSwitzerland Co-chair in Program Committee within the PriSC-track Committee Member in Steering Committee within the PriSC-track
Michael SmithSmith, Michael UC San DiegoUnited States FaJITa: Verifying Optimizations on Just-In-Time Programs Cachet: A Domain-Specific Language for Trustworthy Just-In-Time Compilers
Deian StefanStefan, Deian University of California at San DiegoUnited States FaJITa: Verifying Optimizations on Just-In-Time Programs Cachet: A Domain-Specific Language for Trustworthy Just-In-Time Compilers Robust Constant-Time Cryptography Committee Member in Steering Committee within the PriSC-track
T Jérémy ThibaultThibault, Jérémy MPI-SPGermany SECOMP2CHERI: Securely Compiling Compartments from CompCert C to a Capability Machine
David ThienThien, David UC San Diego FaJITa: Verifying Optimizations on Just-In-Time Programs Cachet: A Domain-Specific Language for Trustworthy Just-In-Time Compilers
Andrew TolmachTolmach, Andrew Portland State UniversityUnited States SECOMP2CHERI: Securely Compiling Compartments from CompCert C to a Capability Machine
Stelios TsampasTsampas, Stelios University of Erlangen-NurembergGermany Committee Member in Program Committee within the PriSC-track
V Marco VassenaVassena, Marco Utrecht UniversityNetherlands Robust Constant-Time Cryptography
Amit VasudevanVasudevan, Amit Carnegie Mellon University Towards End-to-End Verified TEEs via Verified Interface Conformance and Interface-Preserving Compilers
W Théo WinterhalterWinterhalter, Théo INRIA SaclayFrance Securely Compiling F* Programs With IO and Then Linking Them Against Weakly-Typed Interfaces
Z Zichao ZhangZhang, Zichao Carnegie Mellon UniversityUnited States Towards End-to-End Verified TEEs via Verified Interface Conformance and Interface-Preserving Compilers