S&P2016
Key Confirmation in Key Exchange: A Formal Treatment and Implications for TLS 1.3
Marc Fischlin, Felix Günther, Benedikt Schmidt, Bogdan Warinschi
1 citation
Abstract
Key Exchange Security Goals (à la Bellare-Rogaway 1993) key secrecy "the key looks random (to Eve)" (implicit) authentication