Computer-Aided Verification for Mechanism Design

DOI10.1007/978-3-662-54110-4_20zbMath1404.91037arXiv1502.04052OpenAlexW1919126359MaRDI QIDQ2959836

Justin Hsu, Gilles Barthe, Aaron Roth, Marco Gaboardi, Emilio Jesús Gallego Arias, Pierre-Yves Strub

Publication date: 10 February 2017

Published in: Web and Internet Economics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1502.04052

zbMATH Keywords

mechanism designcomputer-aided verificationmatching mechanism

Mathematics Subject Classification ID

Other game-theoretic models (91A40) Matching models (91B68) Software, source code, etc. for problems pertaining to game theory, economics, and finance (91-04)

Uses Software

• EasyCrypt

Cites Work

• Unnamed Item
• Unnamed Item
• An introduction to mechanized reasoning
• Competitive auctions
• Bayesian incentive compatibility via matchings
• Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy
• Verifiably Truthful Mechanisms
• The price of anarchy of finite congestion games
• The Security of Triple Encryption and a Framework for Code-Based Game-Playing Proofs
• Incentives in Teams
• The Complexity of Computing a Nash Equilibrium
• Computer-Aided Security Proofs for the Working Cryptographer
• EasyCrypt: A Tutorial
• Principles and Practice of Constraint Programming – CP 2003

This page was built for publication: Computer-Aided Verification for Mechanism Design