New Modular Compilers for Authenticated Key Exchange

DOI10.1007/978-3-319-07536-5_1zbMath1404.68040OpenAlexW120532128MaRDI QIDQ5168531

Jorg Schwenk, Yong Li, Zheng Yang, Christoph Bader, Sven Schäge

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

security modelauthenticated key exchangeprotocol compiler

Mathematics Subject Classification ID

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

Related Items (1)

Tightly-secure authenticated key exchange, revisited

This page was built for publication: New Modular Compilers for Authenticated Key Exchange