Secure programs via game-based synthesis.
Somesh JhaThomas W. RepsWilliam R. HarrisPublished in: FMCAD (2013)
Keyphrases
- functional programs
- digital educational games
- program synthesis
- learning systems
- standard model
- security mechanisms
- learning tools
- security issues
- texture synthesis
- learning algorithm
- database
- sensitive data
- smart card
- mobile learning
- automatic programming
- lightweight
- data encryption
- functional language
- learning process