The following pages link to Theory of Cryptography (Q5898364):
Displaying 8 items.
- Impossibility results for universal composability in public-key models and with fixed inputs (Q451115) (← links)
- Game ideals (Q1011753) (← links)
- Simplifying game-based definitions -- indistinguishability up to correctness and its application to stateful AE (Q1784080) (← links)
- The reactive simulatability (RSIM) framework for asynchronous systems (Q2464139) (← links)
- On game ideals (Q5202187) (← links)
- The Layered Games Framework for Specifications and Analysis of Security Protocols (Q5445502) (← links)
- Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes (Q5862528) (← links)
- Conditional Reactive Simulatability (Q5862529) (← links)