Séminaire de Cryptographie

Accueil     Présentation     Archives

Yassine Lakhnech

Symbolic verification of Diffie-Hellman-based group key exchangeprotocols

We discuss the cryptographic soundness of a symbolic model for Diffie-Hellman based key exchange protocols including symmetric encryption. Our main tool is a new dynamic variation of the decisional Diffie-Hellman problem useful for group protocols.