- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Bochum, Ruhr-Universität Bochum, Dissertation, 2023
- Keyword
-
Hardwareentwurf
Eingebettetes System
Computersicherheit
Kryptosystem
Entwurfsautomation
Kryptologie
Kryptologie
Hardware
Seitenkanalattacke
Gegenmaßnahme
Automation
- Event
-
Veröffentlichung
- (where)
-
Bochum
- (who)
-
Ruhr-Universität Bochum
- (when)
-
2023
- Creator
-
Knichel, David
- Contributor
-
Moradi, Amir
Standaert, François-Xavier
Faust, Sebastian
Fakultät für Informatik
- URN
-
urn:nbn:de:hbz:294-106665
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:44 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Knichel, David
- Moradi, Amir
- Standaert, François-Xavier
- Faust, Sebastian
- Fakultät für Informatik
- Ruhr-Universität Bochum
Time of origin
- 2023
Other Objects (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