Pierre-Yves Strub

Artificial Intelligence · 2014–2016

A researcher in the Science corpus: 11 papers; trusts 30 researchers and is trusted by 9 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 147 citations into it; #11,290 of 35,345 by trust here, #11,072 by citations
• Privacy & Security — 64 citations into it; #335 of 709 by trust here, #434 by citations
• Computational Theory and Mathematics — 32 citations into it
• Computer Networks and Communications — 20 citations into it
• Sociology and Political Science — 20 citations into it; #13,185 of 22,756 by trust here, #13,822 by citations
• Statistics and Probability — 19 citations into it
• Management Science and Operations Research — 18 citations into it
• Signal Processing — 15 citations into it

Whom Pierre-Yves Strub trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Gilles Barthe
2. Cynthia Dwork
3. Frank McSherry
4. Nick Benton
5. Dexter Campbell Kozen
6. Cédric Villani
7. Benjamin Gr'egoire
8. Radford M. Neal
9. Vaughn Climenhaga
10. Marco Gaboardi

Who trusts Pierre-Yves Strub overall

1. Danfeng Zhang
2. Daniel Kifer
3. Gilles Barthe
4. Yuxin Wang

Papers from Pierre-Yves Strub's perspective

Ordered by how strongly the researchers Pierre-Yves Strub trusts endorse each paper. Same corpus, a different order for every researcher.

1. Differential Privacy
2. Calibrating Noise to Sensitivity in Private Data Analysis
3. Preserving Statistical Validity in Adaptive Data Analysis
4. Practical privacy: the SuLQ framework
5. Differential privacy and robust statistics
6. Privacy integrated queries: an extensible platform for privacy-preserving data analysis
7. Differential Privacy: A Survey of Results
8. Private and Continual Release of Statistics
9. Linear dependent types for differential privacy
10. The Multiplicative Weights Update Method: a Meta-Algorithm and Applications

Their papers

• Proving Differential Privacy via Probabilistic Couplings (2016) — 110 citations
• Dependent types and multi-monadic effects in F* (2016) — 434 citations
• A Messy State of the Union: Taming the Composite State Machines of TLS (2015) — 300 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
• Computer-Aided Verification for Mechanism Design (2015) — 19 citations
• Relational Reasoning via Probabilistic Coupling (2015) — 43 citations
• Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy (2014) — 95 citations
• Proving Differential Privacy in Hoare Logic (2014) — 72 citations