Cryptographic Game-style language in EasyCrypt.

Jakob Nussbaumer Michael Nüsken

Published in: Krypto-Tag (2018)

Keyphrases

natural language
game theory
programming language
language learning
virtual world
serious games
cooperative game
search algorithm
learning games
game development
key management
online game
game playing
game play
hash functions
educational games
computer games
xml documents