PriSC 2019 Contributors -

Filter

Role Type

Contributing to

Number of Roles

Country

Results (49)

A Amal AhmedAhmed, Amal Northeastern University, USAUnited States Committee Member in Organizing Committee within the PriSC-track
Aslan AskarovAskarov, Aslan Aarhus University Session Chair of Session 4 (part of PriSC) Modular Security Guarantees for Low-Level Languages with Stack Traversal
B Gilles BartheBarthe, Gilles IMDEA Software InstituteSpain Committee Member in Program Committee within the PriSC-track
Christoph BaumannBaumann, Christoph KTH Confidentiality-Preserving Refinement
Pramod BhatotiaBhatotia, Pramod University of Edinburgh Committee Member in Program Committee within the PriSC-track
Lars BirkedalBirkedal, Lars Aarhus University Committee Member in Program Committee within the PriSC-track
Jonathan BowenBowen, Jonathan London South Bank UniversityUnited Kingdom (Un)Encrypted Computing and Indistinguishability Obfuscation
William J. BowmanBowman, William J. University of British ColumbiaCanada Committee Member in Program Committee within the PriSC-track
Peter BreuerBreuer, Peter Hecusys LLCUnited Kingdom (Un)Encrypted Computing and Indistinguishability Obfuscation
Matteo BusiBusi, Matteo Università di Pisa - Dipartimento di Informatica Translation Validation for Security Properties
C Zilin ChenChen, Zilin Data61, CSIRO and UNSWAustralia A Data Layout Description Language for Cogent
David ChisnallChisnall, David University of Cambridge Committee Member in Program Committee within the PriSC-track
D Mads DamDam, Mads KTH Confidentiality-Preserving Refinement
Pierpaolo DeganoDegano, Pierpaolo Università di Pisa - Dipartimento di Informatica Translation Validation for Security Properties
Dominique DevrieseDevriese, Dominique Vrije Universiteit Brussel, BelgiumBelgium Session Chair of Session 2 (part of PriSC) Committee Member in Organizing Committee within the PriSC-track PC Co-Chair in Program Committee within the PriSC-track
Matthew Di MeglioDi Meglio, Matthew UNSW A Data Layout Description Language for Cogent
Craig DisselkoenDisselkoen, Craig University of California San Diego Trestle: Bridging the Performance and Safety Divide in WebAssembly
F Cédric FournetFournet, Cédric Microsoft Research Committee Member in Program Committee within the PriSC-track
G Letterio GallettaGalletta, Letterio IMT School for Advanced Studies Translation Validation for Security Properties
Tal GarfinkelGarfinkel, Tal Stanford University Trestle: Bridging the Performance and Safety Divide in WebAssembly
Deepak GargGarg, Deepak Max Planck Institute for Software SystemsGermany Session Chair of Session 1 (part of PriSC) Committee Member in Organizing Committee within the PriSC-track PC Co-Chair in Program Committee within the PriSC-track
Marc GourjonGourjon, Marc Hamburg University of Technology and NXP Semiconductors Germany GmbH Towards Secure Compilation of Power Side-Channel Countermeasures
Benjamin GregoireGregoire, Benjamin INRIA PriSC Keynote - Jasmin: A Compiler and Framework for High-Assurance and High-Speed Cryptography
Roberto GuancialeGuanciale, Roberto KTH Confidentiality-Preserving Refinement
Khilan GudkaGudka, Khilan University of Cambridge Protecting C++ Applications Using CHERI
H Cătălin HriţcuHriţcu, Cătălin Inria Paris Committee Member in Organizing Committee within the PriSC-track
Chung-Kil HurHur, Chung-Kil Seoul National UniversityKorea, South Session Chair of Session 3 (part of PriSC) Committee Member in Program Committee within the PriSC-track
J Alan JeffreyJeffrey, Alan Mozilla ResearchUnited States Committee Member in Program Committee within the PriSC-track
K Gabriele KellerKeller, Gabriele Utrecht UniversityAustralia A Data Layout Description Language for Cogent Committee Member in Program Committee within the PriSC-track
N Santosh NagarakatteNagarakatte, Santosh Rutgers University, USAUnited States Committee Member in Program Committee within the PriSC-track
Kedar NamjoshiNamjoshi, Kedar Bell Labs, Nokia Security Witnesses for Compiler Transformations
David NaumannNaumann, David Stevens Institute of Technology Session Chair of Session 4 (part of PriSC) Committee Member in Program Committee within the PriSC-track
Hamed NematiNemati, Hamed CISPA Confidentiality-Preserving Refinement
O Liam O'ConnorO'Connor, Liam UNSWAustralia A Data Layout Description Language for Cogent
P Marco PatrignaniPatrignani, Marco Saarland University & CISPAUnited States Committee Member in Organizing Committee within the PriSC-track Committee Member in Program Committee within the PriSC-track
Mathias PayerPayer, Mathias EPFLSwitzerland Committee Member in Program Committee within the PriSC-track
Mathias Vorreiter PedersenPedersen, Mathias Vorreiter Aarhus University Modular Security Guarantees for Low-Level Languages with Stack Traversal
Frank PiessensPiessens, Frank KU Leuven Committee Member in Program Committee within the PriSC-track
R Tamara RezkRezk, Tamara InriaFrance Committee Member in Program Committee within the PriSC-track
Alexander RichardsonRichardson, Alexander University of Cambridge Protecting C++ Applications Using CHERI Secure Linking in the CheriBSD Operating System
Christine RizkallahRizkallah, Christine UNSWAustralia A Data Layout Description Language for Cogent
S Gabriel SchererScherer, Gabriel INRIA SaclayFrance Committee Member in Program Committee within the PriSC-track
Deian StefanStefan, Deian University of California San Diego Trestle: Bridging the Performance and Safety Divide in WebAssembly Committee Member in Program Committee within the PriSC-track
Partha SusarlaSusarla, Partha Data61, CSIRO A Data Layout Description Language for Cogent
David SwaseySwasey, David MPI-SWSGermany Committee Member in Program Committee within the PriSC-track
T Lucas M. TabajaraTabajara, Lucas M. Rice University Security Witnesses for Compiler Transformations
Amin TimanyTimany, Amin imec-Distrinet KU-LeuvenBelgium Committee Member in Program Committee within the PriSC-track
W Robert N. M. WatsonWatson, Robert N. M. University of Cambridge Protecting C++ Applications Using CHERI Secure Linking in the CheriBSD Operating System
Conrad WattWatt, Conrad University of Cambridge Trestle: Bridging the Performance and Safety Divide in WebAssembly