1. Moscone West 3000

Design and Analysis of Key Exchange Protocols

 Topic 1: Tightly Secure Two-Pass Authenticated Key Exchange Protocol in the CK Model

Author(s): Yuting Xiao (State Key Laboratory of InfoSec and University of Chinese Academy of Sciences, China), Rui Zhang (State Key Laboratory of InfoSec and University of Chinese Academy of Sciences, China), and Hui Ma (State Key Laboratory of InfoSec, China)

Topic 2: Symmetric-Key Authenticated Key Exchange (SAKE) with Perfect Forward Secrecy

Author(s): Gildas Avoine (INSA Rennes, France), Sébastien Canard (Orange Labs, France), and Loïc Ferreira (Orange Labs, France)

Participants: