On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography (Q5458826)

From MaRDI portal
scientific article; zbMATH DE number 5267217
Language Label Description Also known as
English
On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography
scientific article; zbMATH DE number 5267217

    Statements

    Identifiers