Cryptographic Game-style language in EasyCrypt
| dc.contributor.author | Nussbaumer, Jakob | reverseOrder |
| dc.contributor.author | Nüsken, Michael | reverseOrder |
| dc.contributor.editor | Huth, Christopher | |
| dc.contributor.editor | Nüsken, Michael | |
| dc.date.accessioned | 2018-11-18T00:23:01Z | |
| dc.date.available | 2018-11-18T00:23:01Z | |
| dc.date.issued | 2018 | |
| dc.identifier.doi | 10.18420/cdm-2018-29-22 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/18248 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. / FG KRYPTO | |
| dc.relation.ispartof | crypto day matters 29 | |
| dc.relation.ispartofseries | crypto day matters | |
| dc.title | Cryptographic Game-style language in EasyCrypt | en |
| dc.type | Text/Abstract | |
| gi.citation.publisherPlace | Bonn | |
| gi.conference.date | 06.-07.09.2018 | |
| gi.conference.location | Bosch, Renningen | |
| gi.conference.sessiontitle | Kurzbeitrag |
Dateien
Originalbündel
1 - 1 von 1
Lade...
- Name:
- CryptoDayMatters29-22-Nussbaumer.pdf
- Größe:
- 148.92 KB
- Format:
- Adobe Portable Document Format