CIL Security Proof for a Password-Based Key Exchange.

Cristian Ene, Clmentine Gritti, Yassine Lakhnech

Browse the full ProvSec paper archive.