Login / Signup
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy.
Gilles Barthe
Marco Gaboardi
Emilio Jesús Gallego Arias
Justin Hsu
Aaron Roth
Pierre-Yves Strub
Published in:
CoRR (2014)
Keyphrases
</>
mechanism design
higher order
differential privacy
differentially private
incomplete information
game theory
private data
privacy preserving
privacy guarantees
combinatorial auctions
auction mechanisms
linear programming
search engine
special case
privacy preservation
lower bound
cooperative