Game Theory with Costly Computation: Formulation and Application to Protocol Security.
['Joseph Y. Halpern', 'Rafael Pass']
Game Theory with Costly Computation: Formulation and Application to Protocol Security.