Conditional reactive simulatability

DOI10.1007/11863908_26zbMATH Open1487.94100OpenAlexW1490687381MaRDI QIDQ5862529FDOQ5862529

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

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

Recommendations

• Information Security
• Theory of Cryptography
• On the relationships between notions of simulation-based security
• The reactive simulatability (RSIM) framework for asynchronous systems
• Theory of Cryptography

Mathematics Subject Classification ID

Cryptography (94A60)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Knowledge Complexity of Interactive Proof Systems
• Title not available (Why is that?)
• Fast Encryption and Authentication: XCBC Encryption and XECB Authentication Modes
• Proofs of Networks of Processes
• Composition of secure multi-party protocols. A comprehensive study.
• Universally composable two-party and multi-party secure computation
• New notions of security: achieving universal composability without trusted setup
• Title not available (Why is that?)
• Theory of Cryptography
• Symmetric authentication within a simulatable cryptographic library
• Theory of Cryptography
• Theory of Cryptography
• On the composition of authenticated byzantine agreement
• Theory of Cryptography
• Limits of the cryptographic realization of Dolev-Yao-style XOR

Cited In (11)

• The Layered Games Framework for Specifications and Analysis of Security Protocols
• Theory of Cryptography
• Information Security
• Conditional automata: a tool for safe removal of negligible events
• The reactive simulatability (RSIM) framework for asynchronous systems
• Unifying simulatability definitions in cryptographic systems under different timing assumptions (extended abstract)
• On the insider security of MLS
• Adaptive security of multi-party protocols, revisited
• Unifying simulatability definitions in cryptographic systems under different timing assumptions
• Simulatable channels: extended security that is universally composable and easier to prove
• Overcoming impossibility results in composable security using interval-wise guarantees

This page was built for publication: Conditional reactive simulatability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5862529)