Pages that link to "Item:Q2481980"

The following pages link to Sound and complete computational interpretation of symbolic hashes in the standard model (Q2481980):

Displaying 3 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)