Predicate-Based Authenticated Key Exchange Resilient to Ephemeral Key Leakage. - Fujioka, Atsushi; Suzuki, Koutarou; Yoneyama, Kazuki (2010)