Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1305032020
Link zu diesem Datensatz | https://d-nb.info/1305032020 |
Titel | Formal verification and automated masking of cryptographic hardware / David Knichel ; Gutachter: Amir Moradi, François-Xavier Standaert, Sebastian Faust ; Fakultät für Informatik |
Person(en) |
Knichel, David (Verfasser) Moradi, Amir (Gutachter) Standaert, François-Xavier (Gutachter) Faust, Sebastian (Gutachter) |
Organisation(en) | Fakultät für Informatik (Sonstige) |
Verlag | Bochum : Ruhr-Universität Bochum |
Zeitliche Einordnung | Erscheinungsdatum: 2023 |
Umfang/Format | Online-Ressource (pdf) |
Hochschulschrift | Dissertation, Bochum, Ruhr-Universität Bochum, 2023 |
Persistent Identifier | URN: urn:nbn:de:hbz:294-106665 |
URL | https://hss-opus.ub.ruhr-uni-bochum.de/opus4/frontdoor/index/index/docId/10666 (Verlag) (kostenfrei zugänglich) |
Sprache(n) | Englisch (eng) |
Schlagwörter |
Kryptologie ; Hardware ; Seitenkanalattacke ; Gegenmaßnahme ; Automation Hardwareentwurf* ; Eingebettetes System* ; Computersicherheit* ; Kryptosystem* ; Entwurfsautomation* ; Kryptologie* (*maschinell ermittelt) |
DDC-Notation | 005.8 (maschinell ermittelte DDC-Kurznotation) |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |