Pages that link to "Item:Q5714151"
From MaRDI portal
The following pages link to Information Security and Cryptology - ICISC 2003 (Q5714151):
Displaying 8 items.
- A survey of symbolic methods in computational analysis of cryptographic systems (Q540683) (← links)
- Computationally sound implementations of equational theories against passive adversaries (Q1013091) (← links)
- Reconciling two views of cryptography (The computational soundness of formal encryption) (Q1601823) (← 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)
- Advances in Cryptology - CRYPTO 2003 (Q5428140) (← links)
- Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption (Q5458849) (← links)
- Soundness of Formal Encryption in the Presence of Key-Cycles (Q5862672) (← links)