- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Saarbrücken, Universität des Saarlandes, Diss., 2013
- Classification
-
Informatik
- Keyword
-
Verifikation ; Kryptologie ; Sicherheit
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
Saarländische Universitäts- und Landesbibliothek
- (when)
-
2013
- Creator
-
Berg, Matthias
- Contributor
- URN
-
urn:nbn:de:bsz:291-scidok-54698
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:52 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.
Object type
- Hochschulschrift
Associated
- Berg, Matthias
- Backes, Michael
- Saarländische Universitäts- und Landesbibliothek
Time of origin
- 2013
Other Objects (12)
Cryptographic security architecture : design and verification
Formal verification and automated masking of cryptographic hardware
Belief change and cryptographic protocol verification
Local verification of global proofs
Verification of Security Properties Using Formal Techniques
Quantum security of cryptographic primitives
Quantum Security of Cryptographic Primitives
Constrained Proofs : A Logic for Dealing with Behavioural Constraints in Formal Hardware Verification
Security of Cryptographic Primitives in Advanced Security Notions
Extremal Quantum Correlations and Cryptographic Security
Communicating and trusting formal proofs
The presentation of formal proofs
Cryptographic security architecture : design and verification
Formal verification and automated masking of cryptographic hardware
Belief change and cryptographic protocol verification
Local verification of global proofs
Verification of Security Properties Using Formal Techniques
Quantum security of cryptographic primitives
Quantum Security of Cryptographic Primitives
Constrained Proofs : A Logic for Dealing with Behavioural Constraints in Formal Hardware Verification
Security of Cryptographic Primitives in Advanced Security Notions
Extremal Quantum Correlations and Cryptographic Security
Communicating and trusting formal proofs
The presentation of formal proofs
Cryptographic security architecture : design and verification
Formal verification and automated masking of cryptographic hardware
Belief change and cryptographic protocol verification
Local verification of global proofs
Verification of Security Properties Using Formal Techniques
Quantum security of cryptographic primitives
Quantum Security of Cryptographic Primitives
Constrained Proofs : A Logic for Dealing with Behavioural Constraints in Formal Hardware Verification
Security of Cryptographic Primitives in Advanced Security Notions
Extremal Quantum Correlations and Cryptographic Security
Communicating and trusting formal proofs