conf.researchr.org / Benjamin Gregoire

Not registered as user yet

Name: Benjamin Gregoire

Affiliation: INRIA

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

Contributions

PriSC 2019Keynote Speaker of PriSC Keynote - Jasmin: A Compiler and Framework for High-Assurance and High-Speed Cryptography within the PriSC 2019-track
PLDI 2019Author of FaCT: A DSL for Timing-Sensitive Computation within the PLDI Research Papers-track
POPL 2018Author 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 2017ERC member in External Review Committee within the POPL-track
Author of Coupling proofs are probabilistic product programs within the POPL-track