Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy.
Gilles BartheMarco GaboardiEmilio Jesús Gallego AriasJustin HsuAaron RothPierre-Yves StrubPublished in: POPL (2015)
Keyphrases
- mechanism design
- higher order
- differential privacy
- differentially private
- game theory
- privacy preserving
- incentive compatible
- private data
- privacy preservation
- incomplete information
- data sharing
- databases
- combinatorial auctions
- social media
- data model
- relational databases
- autonomous agents
- multi agent systems
- auction mechanisms
- privacy guarantees
- cooperative
- information retrieval