- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
0387953876
- Dimensions
-
24 cm
- Extent
-
XVIII, 320 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Keyword
-
Computersicherheit
Kryptologie
Softwarearchitektur
Computerarchitektur
CASHE
Verifikation
- Event
-
Veröffentlichung
- (where)
-
New York, Berlin, Heidelberg, Hong Kong, London, Milan, Paris, Tokyo
- (who)
-
Springer
- (when)
-
2004
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:01 PM CEST
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
- Gutmann, Peter
- Springer
Time of origin
- 2004
Other Objects (12)
Formal verification of cryptographic security proofs
Design and security analysis of cryptographic hardware primitives
Belief change and cryptographic protocol verification
Design and cryptographic security analysis of e-voting protocols
Quantum security of cryptographic primitives
Quantum Security of Cryptographic Primitives
Security of Cryptographic Primitives in Advanced Security Notions
Extremal Quantum Correlations and Cryptographic Security
Formal verification and automated masking of cryptographic hardware
Locking-enabled security analysis of cryptographic circuits
Efficient Cryptographic Constructions with Strong Security Guarantees
RV-TEE: secure cryptographic protocol execution based on runtime verification
Formal verification of cryptographic security proofs
Design and security analysis of cryptographic hardware primitives
Belief change and cryptographic protocol verification
Design and cryptographic security analysis of e-voting protocols
Quantum security of cryptographic primitives
Quantum Security of Cryptographic Primitives
Security of Cryptographic Primitives in Advanced Security Notions
Extremal Quantum Correlations and Cryptographic Security
Formal verification and automated masking of cryptographic hardware
Locking-enabled security analysis of cryptographic circuits
Efficient Cryptographic Constructions with Strong Security Guarantees
RV-TEE: secure cryptographic protocol execution based on runtime verification
Formal verification of cryptographic security proofs
Design and security analysis of cryptographic hardware primitives
Belief change and cryptographic protocol verification
Design and cryptographic security analysis of e-voting protocols
Quantum security of cryptographic primitives
Quantum Security of Cryptographic Primitives
Security of Cryptographic Primitives in Advanced Security Notions
Extremal Quantum Correlations and Cryptographic Security
Formal verification and automated masking of cryptographic hardware
Locking-enabled security analysis of cryptographic circuits
Efficient Cryptographic Constructions with Strong Security Guarantees