Universally Composable Symbolic Analysis for Two-Party Protocols Based on Homomorphic Encryption (Q5418723)
From MaRDI portal
scientific article; zbMATH DE number 6298778
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Universally Composable Symbolic Analysis for Two-Party Protocols Based on Homomorphic Encryption |
scientific article; zbMATH DE number 6298778 |
Statements
Universally Composable Symbolic Analysis for Two-Party Protocols Based on Homomorphic Encryption (English)
0 references
27 May 2014
0 references
cryptographic protocols
0 references
security analysis
0 references
symbolic analysis
0 references
automated analysis
0 references
computational soundness
0 references
universal composition
0 references
homomorphic encryption
0 references
