Pages that link to "Item:Q2210435"
From MaRDI portal
The following pages link to The IITM model: a simple and expressive model for universal composability (Q2210435):
Displaying 8 items.
- MoSS: modular security specifications framework (Q2128988) (← links)
- Embedding the UC model into the IITM model (Q2170048) (← links)
- A unified and composable take on ratcheting (Q2175936) (← links)
- GNUC: a new universal composability framework (Q2516522) (← links)
- Adaptive security of multi-party protocols, revisited (Q2695654) (← links)
- On the (Ir)replaceability of global setups, or how (not) to use a global ledger (Q2697878) (← links)
- Categorical composable cryptography: extended version (Q6178713) (← links)
- Categorical composable cryptography (Q6181927) (← links)