Yassine Lakhnech | ![]() |
![]() |
Date de l'exposé : 13 janvier 2006
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.