The IITM model: a simple and expressive model for universal composability
From MaRDI portal
Publication:2210435
DOI10.1007/s00145-020-09352-1zbMath1490.68094OpenAlexW2401332089MaRDI QIDQ2210435
Ralf Küsters, Max Tuengerthal, Daniel Rausch
Publication date: 6 November 2020
Published in: Journal of Cryptology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00145-020-09352-1
Related Items (8)
MoSS: modular security specifications framework ⋮ Embedding the UC model into the IITM model ⋮ A unified and composable take on ratcheting ⋮ Categorical composable cryptography: extended version ⋮ Categorical composable cryptography ⋮ Adaptive security of multi-party protocols, revisited ⋮ On the (Ir)replaceability of global setups, or how (not) to use a global ledger ⋮ GNUC: a new universal composability framework
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- On the relationships between notions of simulation-based security
- A calculus of communicating systems
- iUC: flexible universal composability made simple
- Polynomial runtime and composability
- GNUC: a new universal composability framework
- Universally Composable Authentication and Key-Exchange with Global PKI
- Constructive Cryptography – A New Paradigm for Security Definitions and Proofs
- Universal Composition with Responsive Environments
- Ideal Key Derivation and Encryption in Simulation-Based Security
- A Simpler Variant of Universally Composable Security for Standard Multiparty Computation
- Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols
- Universally Composable Security with Global Setup
- Using encryption for authentication in large networks of computers
- Universally Composable Password-Based Key Exchange
- Advances in Cryptology - CRYPTO 2003
- Theory of Cryptography
- Theory of Cryptography
- Theory of Cryptography
This page was built for publication: The IITM model: a simple and expressive model for universal composability
