Benjamin Gr'egoire
Artificial Intelligence · 2007–2016
A researcher in the Science corpus: 10 papers; trusts 35 researchers and is trusted by 17 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 136 citations into it; #7,079 of 35,345 by trust here, #10,667 by citations
- Privacy & Security — 62 citations into it; #420 of 709 by trust here, #512 by citations
- Computational Theory and Mathematics — 22 citations into it
- Computer Networks and Communications — 19 citations into it; #6,003 of 9,886 by trust here, #7,140 by citations
- Information Systems — 14 citations into it; #5,050 of 8,771 by trust here, #6,501 by citations
- Computer Science Applications — 13 citations into it
- Computer Vision and Pattern Recognition — 12 citations into it
- Signal Processing — 12 citations into it
Whom Benjamin Gr'egoire trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Gilles Barthe
- Victor Shoup
- Mihir Bellare
- Cynthia Dwork
- Dexter Campbell Kozen
- Nick Benton
- Frank McSherry
- Phillip Rogaway
- Bruno Blanchet
- Cédric Villani
Who trusts Benjamin Gr'egoire overall
- Gilles Barthe
- Danfeng Zhang
- Bruno Blanchet
- Per A. Hallgren
- Daniel Kifer
- Justin Hsu
- Federico Olmedo
- Yuxin Wang
- Zeyu Ding
- Boris Köpf
Papers from Benjamin Gr'egoire's perspective
Ordered by how strongly the researchers Benjamin Gr'egoire trusts endorse each paper. Same corpus, a different order for every researcher.
- Differential Privacy
- Probabilistic Encryption
- Random oracles are practical: a paradigm for designing efficient protocols
- Calibrating Noise to Sensitivity in Private Data Analysis
- Public-Key Cryptosystems Based on Composite Degree Residuosity Classes
- Preserving Statistical Validity in Adaptive Data Analysis
- Computational Differential Privacy
- How to Construct Pseudo-Random Permutations from Pseudo-Random Functions (Abstract)
- Privacy integrated queries: an extensible platform for privacy-preserving data analysis
- Distributed Private Data Analysis: On Simultaneously Solving How and What
Their papers
- Proving Differential Privacy via Probabilistic Couplings (2016) — 110 citations
- Coupling proofs are probabilistic product programs (2016) — 52 citations
- A Program Logic for Union Bounds (2016) — 43 citations
- Advanced Probabilistic Couplings for Differential Privacy (2016) — 68 citations
- Strong Non-Interference and Type-Directed Higher-Order Masking (2016) — 308 citations
- Relational Reasoning via Probabilistic Coupling (2015) — 43 citations
- Verified Computational Differential Privacy with Applications to Smart Metering (2013) — 84 citations
- Computer-Aided Security Proofs for the Working Cryptographer (2011) — 327 citations
- Formal certification of code-based cryptographic proofs (2009) — 190 citations
- Formal Certification of Code-Based Cryptographic Proofs. (2007) — 125 citations