Conditional Reactive Simulatability

DOI10.1007/11863908_26zbMath1487.94100OpenAlexW1490687381MaRDI QIDQ5862529

Dennis Hofheinz, Markus Dürmuth, Ralf Küsters, Michael Backes

Publication date: 9 March 2022

Published in: Computer Security – ESORICS 2006 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11863908_26

Mathematics Subject Classification ID

Cryptography (94A60)

Related Items (5)

On the insider security of MLS ⋮ Adaptive security of multi-party protocols, revisited ⋮ The reactive simulatability (RSIM) framework for asynchronous systems ⋮ The Layered Games Framework for Specifications and Analysis of Security Protocols ⋮ Overcoming impossibility results in composable security using interval-wise guarantees

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Composition of secure multi-party protocols. A comprehensive study.
• Fast Encryption and Authentication: XCBC Encryption and XECB Authentication Modes
• Universally composable two-party and multi-party secure computation
• On the composition of authenticated byzantine agreement
• New notions of security
• The Knowledge Complexity of Interactive Proof Systems
• Proofs of Networks of Processes
• Symmetric Authentication within a Simulatable Cryptographic Library
• Theory of Cryptography
• Limits of the Cryptographic Realization of Dolev-Yao-Style XOR
• Theory of Cryptography
• Theory of Cryptography
• Theory of Cryptography

This page was built for publication: Conditional Reactive Simulatability