Pages that link to "Item:Q5458826"
From MaRDI portal
The following pages link to On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography (Q5458826):
Displaying 4 items.
- A survey of symbolic methods in computational analysis of cryptographic systems (Q540683) (← links)
- Ideal Key Derivation and Encryption in Simulation-Based Security (Q3073705) (← links)
- Computationally Sound Symbolic Secrecy in the Presence of Hash Functions (Q5385984) (← links)
- On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography (Q5458826) (← links)