Citation:G. Barthe, M. Gaboardi, E. J. Gallego Arias, J. Hsu, A. Roth, and P.-Y. Strub. 2016. “Computer-Aided Verification in Mechanism Design.” Conference on Internet and Economics, WINE .Download CitationBibTex Tagged XML Download PDF394 KB See also: Computing over Distributed Sensitive Data: PublicationsLast updated on 04/30/2019