Benjamin Gr\'egoire

Identifiers

• name variant Benjamin Gr\'egoire 0.60 · backfill

Papers (7)

1. The Last Mile: High-Assurance and High-Speed Cryptographic Implementations cs.CR · 2019 · author #4
2. An Assertion-Based Program Logic for Probabilistic Programs cs.LO · 2018 · author #4
3. Proving Expected Sensitivity of Probabilistic Programs cs.PL · 2017 · author #3
4. Proving uniformity and independence by self-composition and coupling cs.PL · 2017 · author #3
5. Coupling proofs are probabilistic product programs cs.PL · 2016 · author #2
6. Advanced Probabilistic Couplings for Differential Privacy cs.LO · 2016 · author #4
7. Relational reasoning via probabilistic coupling cs.LO · 2015 · author #3

Mentions

• 1509.03476 #3 · backfill · confidence 0.70 Benjamin Gr\'egoire

Frequent Coauthors

• Gilles Barthe 7 shared papers
• Pierre-Yves Strub 7 shared papers
• Justin Hsu 6 shared papers
• Thomas Espitau 4 shared papers
• Marco Gaboardi 2 shared papers
• Adrien Koutsos 1 shared papers
• Jos\'e Bacelar Almeida 1 shared papers
• L\'eo Stefanesco 1 shared papers
• Manuel Barbosa 1 shared papers
• No\'emie Fong 1 shared papers
• Tiago Oliveira 1 shared papers
• Vincent Laporte 1 shared papers