Pages that link to "Item:Q5862672"
From MaRDI portal
The following pages link to Soundness of Formal Encryption in the Presence of Key-Cycles (Q5862672):
Displaying 9 items.
- Computationally sound implementations of equational theories against passive adversaries (Q1013091) (← links)
- Computationally sound symbolic security reduction analysis of the group key exchange protocols using bilinear pairings (Q1761600) (← links)
- Rate-1 key-dependent message security via reusable homomorphic extractor against correlated-source attacks (Q2061928) (← links)
- CPA-to-CCA transformation for KDM security (Q2175934) (← links)
- KDM security for identity-based encryption: constructions and separations (Q2215124) (← links)
- Universally composable symbolic security analysis (Q2429708) (← links)
- Sound and complete computational interpretation of symbolic hashes in the standard model (Q2481980) (← links)
- Circular security is complete for KDM security (Q2692344) (← links)
- Towards Key-Dependent Message Security in the Standard Model (Q5458588) (← links)
