The paper of CROSSING researchers was accepted at the top conference “Security and Privacy (S&P 2016)” Key Confirmation in Key

Key Confirmation in Key Exchange: A Formal Treatment and Implications for TLS 1.3

Marc Fischlin, Felix Günther, Benedikt Schmidt, Bogdan Warinschi

• In: IEEE: 37th IEEE Symposium on Security and Privacy (S&P 2016), May 2016.