The following pages link to Theory of Cryptography (Q5711659):
Displaying 10 items.
- On the relationships between notions of simulation-based security (Q1021241) (← links)
- Task-structured probabilistic I/O automata (Q1745718) (← links)
- The IITM model: a simple and expressive model for universal composability (Q2210435) (← links)
- Joint state composition theorems for public-key encryption and digital signature functionalities with local computation (Q2210436) (← links)
- Polynomial runtime and composability (Q2392095) (← links)
- The reactive simulatability (RSIM) framework for asynchronous systems (Q2464139) (← links)
- Adaptive security of multi-party protocols, revisited (Q2695654) (← links)
- Simulation based security in the applied pi calculus (Q2920124) (← links)
- Conditional Reactive Simulatability (Q5862529) (← links)
- Soundness of Formal Encryption in the Presence of Key-Cycles (Q5862672) (← links)