Benjamin Gregoire -

Not registered as user yet

Name:Benjamin Gregoire

Affiliation:INRIA

Personal website:http://www-sop.inria.fr/members/Benjamin.Gregoire/

Contributions

PriSC 2021	Author of High-Assurance Cryptography in the Spectre Era within the PriSC 2021-track
PriSC 2020	Committee Member in Program Committee within the Principles of Secure Compilation 2020-track
POPL 2020	Author of Formal Verification of a Constant-Time Preserving C Compiler within the Research Papers-track
PriSC 2019	Keynote Speaker of PriSC Keynote - Jasmin: A Compiler and Framework for High-Assurance and High-Speed Cryptography within the PriSC 2019-track
PLDI 2019	Author of FaCT: A DSL for Timing-Sensitive Computation within the PLDI Research Papers-track
POPL 2018	Author of Proving Expected Sensitivity of Probabilistic Programs within the Artifact Evaluation-track Author of Proving expected sensitivity of probabilistic programs within the Research Papers-track
POPL 2017	ERC member in External Review Committee within the POPL-track Author of Coupling proofs are probabilistic product programs within the POPL-track