Lecture notes in computer science

New Modular Compilers for Authenticated Key Exchange

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

Published Jan 1, 2014• 11 citations

Related papers

Generic Compilers for Authenticated Key Exchange

Tibor Jager, Florian Kohlar, Sven Schäge +1 more

Efficient Compilers for Authenticated Group Key Exchange

Qiang Tang, Chris J. Mitchell

Security Enhancement and Modular Treatment towards Authenticated Key Exchange

Jiaxin Pan, Libin Wang, Changshe Ma

Modular Design of KEM-Based Authenticated Key Exchange

Colin Boyd, Bor de Kock, Lise Millerjord

Modular Design of Role-Symmetric Authenticated Key Exchange Protocols

Yuting Xiao, Rui Zhang, Hui Ma

Security model and modular design of fair authentication key exchange protocols

Dengguo Feng, Weidong Chen