Secure Programming via Visibly Pushdown Safety Games.
William R. HarrisSomesh JhaThomas W. RepsPublished in: CAV (2012)
Keyphrases
- game theory
- programming language
- game development
- computer games
- video games
- game programming
- object oriented programming
- game design
- human computation
- security protocols
- computer programs
- cooperative
- game theoretic
- nash equilibrium
- lightweight
- game play
- development environment
- programming environment
- digital games
- model checking
- standard model
- imperfect information
- learning agents
- cryptographic protocols
- object oriented
- safety critical
- multi agent systems