Cryptographic Game-style language in EasyCrypt

  • Vollständige Referenz
  • BibTeX
Nussbaumer, J. & Nüsken, M., (2018). Cryptographic Game-style language in EasyCrypt. In: Huth, C. & Nüsken, M. (Hrsg.), crypto day matters 29. Bonn: Gesellschaft für Informatik e.V. / FG KRYPTO. DOI: 10.18420/cdm-2018-29-22
@inproceedings{mci/Nussbaumer2018,
author = {Nussbaumer, Jakob AND Nüsken, Michael},
title = {Cryptographic Game-style language in EasyCrypt},
booktitle = {crypto day matters 29},
year = {2018},
editor = {Huth, Christopher AND Nüsken, Michael} ,
doi = { 10.18420/cdm-2018-29-22 },
publisher = {Gesellschaft für Informatik e.V. / FG KRYPTO},
address = {Bonn}
}
DateienGroesseFormatAnzeige
CryptoDayMatters29-22-Nussbaumer.pdf148.9Kb PDF Öffnen

Sollte hier kein Volltext (PDF) verlinkt sein, dann kann es sein, dass dieser aus verschiedenen Gruenden (z.B. Lizenzen oder Copyright) nur in einer anderen Digital Library verfuegbar ist. Versuchen Sie in diesem Fall einen Zugriff ueber die verlinkte DOI: 10.18420/cdm-2018-29-22

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

Datum: 2018
Sprache: en (en)
Typ: Text/Abstract
Sammlungen

Zur Langanzeige