Pages that link to "Item:Q1021241"
From MaRDI portal
The following pages link to On the relationships between notions of simulation-based security (Q1021241):
Displaying 7 items.
- A survey of symbolic methods in computational analysis of cryptographic systems (Q540683) (← links)
- Simulatable channels: extended security that is universally composable and easier to prove (Q1710688) (← links)
- Embedding the UC model into the IITM model (Q2170048) (← links)
- The IITM model: a simple and expressive model for universal composability (Q2210435) (← links)
- Simulation based security in the applied pi calculus (Q2920124) (← links)
- Theory of Cryptography (Q5711659) (← links)
- Quantifying information flow in cryptographic systems (Q5740629) (← links)