Pages that link to "Item:Q5862666"
From MaRDI portal
The following pages link to Limits of the Cryptographic Realization of Dolev-Yao-Style XOR (Q5862666):
Displaying 7 items.
- Universally composable symbolic security analysis (Q2429708) (← links)
- The reactive simulatability (RSIM) framework for asynchronous systems (Q2464139) (← links)
- Model Checking Security Protocols (Q3176380) (← links)
- Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes (Q5862528) (← links)
- Conditional Reactive Simulatability (Q5862529) (← links)
- Is it possible to improve Yao's XOR lemma using reductions that exploit the efficiency of their oracle? (Q6113106) (← links)
- Crooked indifferentiability of enveloped XOR revisited (Q6157572) (← links)