Login / Signup
Jakob Nussbaumer
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Cooperative Game
Xml Documents
Hash Functions
Game Playing
Top Venues
Krypto-Tag
</>
Publications
</>
Jakob Nussbaumer
,
Michael Nüsken
Cryptographic Game-style language in EasyCrypt.
Krypto-Tag
(2018)