@conference {kang06, title = {Passive Verification of the Strategyproofness of Mechanisms in Open Environments}, booktitle = {Proc. Eighth International Conference on Electronic Commerce (ICEC{\textquoteright}06)}, year = {2006}, pages = {19-30}, url = {http://econcs.seas.harvard.edu/files/econcs/files/verif3.pdf}, author = {Laura Kang and David C. Parkes} }