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
POPL 2025 profile
SPLASH 2024 profile
Not registered as user yet
Name:
Benjamin Gregoire
Affiliation:
INRIA
Personal website:
http://www-sop.inria.fr/members/Benjamin.Gregoire/
Contributions
2025
POPL
Author of Preservation of speculative constant-time by compilation within the POPL-track
Author of A quantitative probabilistic relational Hoare logic within the POPL-track
2024
SPLASH
Author of Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs within the OOPSLA 2024-track
2023
CPP
Author of Practical and sound equality tests, automatically within the CPP 2023-track
2021
PriSC
Author of High-Assurance Cryptography in the Spectre Era within the PriSC 2021-track
2020
POPL
Author of Formal Verification of a Constant-Time Preserving C Compiler within the Research Papers-track
PriSC
Committee Member in Program Committee within the Principles of Secure Compilation 2020-track
2019
PLDI
Author of FaCT: A DSL for Timing-Sensitive Computation within the PLDI Research Papers-track
PriSC
Keynote Speaker of PriSC Keynote - Jasmin: A Compiler and Framework for High-Assurance and High-Speed Cryptography within the PriSC 2019-track
2018
POPL
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
2017
POPL
ERC member in External Review Committee within the POPL-track
Author of Coupling proofs are probabilistic product programs within the POPL-track
Share
x
Tue 3 Dec 17:56