A New Security Proof of Practical Cryptographic Devices Based on Hardware, Software and Protocols (Q3001904)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A New Security Proof of Practical Cryptographic Devices Based on Hardware, Software and Protocols |
scientific article |
Statements
A New Security Proof of Practical Cryptographic Devices Based on Hardware, Software and Protocols (English)
0 references
19 May 2011
0 references
cryptographic device
0 references
universally composable security model
0 references
bottom-up method
0 references
cryptographic SoC
0 references
