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
    0 references
    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

    Identifiers