Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Benjamin Gregoire
conf.researchr.org general profile
PLDI 2019 profile
POPL 2017 profile
POPL 2018 profile
POPL 2019 profile
POPL 2020 profile
POPL 2021 profile
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
Share
x
Sat 28 May 21:41