Pages that link to "Item:Q2481980"
From MaRDI portal
The following pages link to Sound and complete computational interpretation of symbolic hashes in the standard model (Q2481980):
Displaying 5 items.
- A survey of symbolic methods in computational analysis of cryptographic systems (Q540683) (← links)
- Computationally sound symbolic security reduction analysis of the group key exchange protocols using bilinear pairings (Q1761600) (← 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)
- Automata, Languages and Programming (Q5716816) (← links)