Pages that link to "Item:Q3612566"
From MaRDI portal
The following pages link to A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness (Q3612566):
Displayed 6 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)
- Moving the bar on computationally sound exclusive-or (Q2148759) (← links)
- Automated analysis of cryptographic assumptions in generic group models (Q2423840) (← links)
- Sound and complete computational interpretation of symbolic hashes in the standard model (Q2481980) (← links)
- Sufficient Conditions for Intractability over Black-Box Groups: Generic Lower Bounds for Generalized DL and DH Problems (Q3600393) (← links)