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
POPL 2023 profile
Not registered as user yet
Name:
Benjamin Gregoire
Affiliation:
INRIA
Personal website:
http://www-sop.inria.fr/members/Benjamin.Gregoire/
Contributions
CPP 2023
Author of Practical and sound equality tests, automatically within the CPP 2023-track
PriSC 2021
Author of High-Assurance Cryptography in the Spectre Era within the PriSC 2021-track
POPL 2020
Author of Formal Verification of a Constant-Time Preserving C Compiler within the Research Papers-track
PriSC 2020
Committee Member in Program Committee within the Principles of Secure Compilation 2020-track
PLDI 2019
Author of FaCT: A DSL for Timing-Sensitive Computation within the PLDI 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
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
Thu 8 Jun 23:20