Pages that link to "Item:Q5385984"
From MaRDI portal
The following pages link to Computationally Sound Symbolic Secrecy in the Presence of Hash Functions (Q5385984):
Displayed 6 items.
- A survey of symbolic methods in computational analysis of cryptographic systems (Q540683) (← links)
- Sound and complete computational interpretation of symbolic hashes in the standard model (Q2481980) (← links)
- Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions (Q2866733) (← links)
- Ideal Key Derivation and Encryption in Simulation-Based Security (Q3073705) (← links)
- Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption (Q3631375) (← links)
- On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography (Q5458826) (← links)