Cryptographic Game-style language in EasyCrypt. - Jakob Nussbaumer; Michael Nüsken (Krypto-Tag, 2018)