Pages that link to "Item:Q5428140"
From MaRDI portal
The following pages link to Advances in Cryptology - CRYPTO 2003 (Q5428140):
Displaying 9 items.
- Direct proof of security of Wegman-Carter authentication with partially known key (Q479440) (← links)
- A survey of symbolic methods in computational analysis of cryptographic systems (Q540683) (← links)
- Reconciling two views of cryptography (The computational soundness of formal encryption) (Q1601823) (← links)
- Universally composable symbolic security analysis (Q2429708) (← links)
- On the Impossibility of Private Key Cryptography with Weakly Random Keys (Q4279593) (← links)
- Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups (Q5505468) (← links)
- Information Security and Cryptology - ICISC 2003 (Q5714151) (← links)
- Formal Abstractions for Attested Execution Secure Processors (Q5738880) (← links)
- Soundness of Formal Encryption in the Presence of Key-Cycles (Q5862672) (← links)