Ideal key derivation and encryption in simulation-based security

DOI10.1007/978-3-642-19074-2_12MaRDI QIDQ3073705zbMATH OpenOpenAlexFDO

Authors Ralf Küsters, Max Tuengerthal

Publication date 11 February 2011

Published in Topics in Cryptology – CT-RSA 2011 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-19074-2_12

zbMATH Keywords

compositional analysissimulation-based securitysecurity protocols

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Recommendations

• scientific article; zbMATH DE number 2086716
• scientific article; zbMATH DE number 1722690
• scientific article; zbMATH DE number 1775427
• Theory of Cryptography
• Universally Composable Security Analysis of TLS

Cites work

• scientific article; zbMATH DE number 1263181 (Why is no real title available?)
• scientific article; zbMATH DE number 1942418 (Why is no real title available?)
• scientific article; zbMATH DE number 1951605 (Why is no real title available?)
• scientific article; zbMATH DE number 2086716 (Why is no real title available?)
• A Modular Security Analysis of the TLS Handshake Protocol
• Advances in Cryptology - CRYPTO 2003
• Authenticated key exchange secure against dictionary attacks
• Computationally Sound Symbolic Secrecy in the Presence of Hash Functions
• How to prove security of communication protocols? A discussion on the soundness of formal models w.r.t. computational ones.
• Ideal key derivation and encryption in simulation-based security
• Inductive Proofs of Computational Secrecy
• On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography
• Polynomial runtime and composability
• Theory of Cryptography
• Universally Composable Security Analysis of TLS

Cited in

(4)

• The IITM model: a simple and expressive model for universal composability
• Encryption Simulatability Reconsidered
• Ideal key derivation and encryption in simulation-based security
• Embedding the UC model into the IITM model

This page was built for publication: Ideal key derivation and encryption in simulation-based security

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