Generic Compilers for Authenticated Key Exchange

DOI10.1007/978-3-642-17373-8_14MaRDI QIDQ3058659zbMATH OpenOpenAlexFDO

Authors Tibor Jager, Florian Kohlar, Sven Schäge, Jörg Schwenk

Publication date 7 December 2010

Published in Advances in Cryptology - ASIACRYPT 2010 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-17373-8_14

zbMATH Keywords

authenticated key agreementTLSprotocol compiler

Mathematics Subject Classification ID

Cryptography (94A60) Theory of compilers and interpreters (68N20) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• New modular compilers for authenticated key exchange
• A general compiler for password-authenticated group key exchange protocol
• A general compiler for password-authenticated group key exchange protocol in the standard model
• Generic compiler for publicly verifiable covert multi-party computation
• Authentication primitives and their compilation
• Authenticated encryption: relations among notions and analysis of the generic composition paradigm
• scientific article; zbMATH DE number 1583804
• Efficient UC-Secure Authenticated Key-Exchange for Algebraic Languages

Cited in

(7)

• Efficient UC-Secure Authenticated Key-Exchange for Algebraic Languages
• Authentication primitives and their compilation
• New modular compilers for authenticated key exchange
• A security weakness in Abdalla et al.'s generic construction of a group key exchange protocol
• A general compiler for password-authenticated group key exchange protocol in the standard model
• Towards secure asynchronous messaging with forward secrecy and mutual authentication
• Efficient fully structure-preserving signatures and shrinking commitments

Describes a project that uses

Uses Software

• NAXOS
• HMQV

This page was built for publication: Generic Compilers for Authenticated Key Exchange

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