Pages that link to "Item:Q2866733"
From MaRDI portal
The following pages link to Computational soundness of symbolic analysis for protocols using hash functions (Q2866733):
Displaying 4 items.
- A survey of symbolic methods in computational analysis of cryptographic systems (Q540683) (← links)
- Symbolic analysis of identity-based protocols (Q2303367) (← links)
- Sound and complete computational interpretation of symbolic hashes in the standard model (Q2481980) (← links)
- Computationally Sound Symbolic Secrecy in the Presence of Hash Functions (Q5385984) (← links)