Can Verification of Cryptographic Libraries be liberated from the von Neumann Style?

  • Vollständige Referenz
  • BibTeX
Fourné, M., (2018). Can Verification of Cryptographic Libraries be liberated from the von Neumann Style?. 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-26
@inproceedings{mci/Fourné2018,
author = {Fourné, Marcel},
title = {Can Verification of Cryptographic Libraries be liberated from the von Neumann Style?},
booktitle = {crypto day matters 29},
year = {2018},
editor = {Huth, Christopher AND Nüsken, Michael} ,
doi = { 10.18420/cdm-2018-29-26 },
publisher = {Gesellschaft für Informatik e.V. / FG KRYPTO},
address = {Bonn}
}
DateienGroesseFormatAnzeige
CryptoDayMatters29-26-Fourne.pdf144.5Kb 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-26

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

Mehr Information

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

Zur Langanzeige