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 4 items.
- A survey of symbolic methods in computational analysis of cryptographic systems (Q540683) (← links)
- Embedding the UC model into the IITM model (Q2170048) (← links)
- The IITM model: a simple and expressive model for universal composability (Q2210435) (← links)
- Quantifying information flow in cryptographic systems (Q5740629) (← links)
