To Cheat or Not to Cheat: A Game-Theoretic Analysis of Outsourced Computation Verification.

Balazs Pejo Qiang Tang

Published in: SCC@AsiaCCS (2017)

Keyphrases

theoretic analysis
game theory
computer games
third party
game play
game playing
formal verification
information systems
software development
resource allocation
video games
game design
game tree search
pursuit evasion