New modular compilers for authenticated key exchange

DOI10.1007/978-3-319-07536-5_1MaRDI QIDQ5168531zbMATH OpenOpenAlexFDO

Authors Yong Li, Sven Schäge, Zheng Yang, Christoph Bader, Jörg Schwenk

Publication date 7 July 2014

Published in Applied Cryptography and Network Security (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-07536-5_1

zbMATH Keywords

authenticated key exchangeprotocol compilersecurity model

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Data encryption (aspects in computer science) (68P25) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Generic Compilers for Authenticated Key Exchange
• Stronger Security of Authenticated Key Exchange
• Information Security and Cryptology - ICISC 2005
• scientific article; zbMATH DE number 1775427
• Tightly-secure authenticated key exchange, revisited

Cited in

(5)

• Saber: module-LWR based key exchange, CPA-secure encryption and CCA-secure KEM
• Yet another compiler for active security or: efficient MPC over arbitrary rings
• Tightly-secure authenticated key exchange, revisited
• Generic Compilers for Authenticated Key Exchange
• Efficient UC-Secure Authenticated Key-Exchange for Algebraic Languages

This page was built for publication: New modular compilers for authenticated key exchange

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