Open AccessCryptographic Game-style language in EasyCrypt
Author(s) -
Jakob Nussbaumer,
Michael Nüsken
Publication year - 2018
Publication title -
gesellschaft für informatik (gi)
Language(s) - Uncategorized
DOI - 10.18420/cdm-2018-29-22
Subject(s) - style (visual arts) , computer science , cryptography , computer security , linguistics , art , philosophy , literature
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom