- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Bochum, Ruhr-Universität Bochum, Dissertation, 2023
- Schlagwort
-
Hardwareentwurf
Eingebettetes System
Computersicherheit
Kryptosystem
Entwurfsautomation
Kryptologie
Kryptologie
Hardware
Seitenkanalattacke
Gegenmaßnahme
Automation
- Ereignis
-
Veröffentlichung
- (wo)
-
Bochum
- (wer)
-
Ruhr-Universität Bochum
- (wann)
-
2023
- Urheber
-
Knichel, David
- Beteiligte Personen und Organisationen
-
Moradi, Amir
Standaert, François-Xavier
Faust, Sebastian
Fakultät für Informatik
- URN
-
urn:nbn:de:hbz:294-106665
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:44 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Knichel, David
- Moradi, Amir
- Standaert, François-Xavier
- Faust, Sebastian
- Fakultät für Informatik
- Ruhr-Universität Bochum
Entstanden
- 2023
Ähnliche Objekte (12)
Using Cryptographic Hardware
Speeding up hardware verification by automated data path scaling
Speeding up hardware verification by automated data path scaling
Current trends in hardware verification and automated theorem proving
Formal verification of cryptographic security proofs
Belief change and cryptographic protocol verification
Cryptographic security architecture : design and verification
Cryptographic hardware agility for physical protection
The Cryptographic Strength of Tamper-Proof Hardware
IACR transactions on cryptographic hardware and embedded systems
Design and security analysis of cryptographic hardware primitives
Efficient masked hardware implementation of symmetric cryptographic primitives
Using Cryptographic Hardware
Speeding up hardware verification by automated data path scaling
Speeding up hardware verification by automated data path scaling
Current trends in hardware verification and automated theorem proving
Formal verification of cryptographic security proofs
Belief change and cryptographic protocol verification
Cryptographic security architecture : design and verification
Cryptographic hardware agility for physical protection
The Cryptographic Strength of Tamper-Proof Hardware
IACR transactions on cryptographic hardware and embedded systems
Design and security analysis of cryptographic hardware primitives
Efficient masked hardware implementation of symmetric cryptographic primitives
Using Cryptographic Hardware
Speeding up hardware verification by automated data path scaling
Speeding up hardware verification by automated data path scaling
Current trends in hardware verification and automated theorem proving
Formal verification of cryptographic security proofs
Belief change and cryptographic protocol verification
Cryptographic security architecture : design and verification
Cryptographic hardware agility for physical protection
The Cryptographic Strength of Tamper-Proof Hardware
IACR transactions on cryptographic hardware and embedded systems
Design and security analysis of cryptographic hardware primitives