Enhanced Modelling of Authenticated Key Exchange Security

Papa B. Seye, Augustin P. Sarr. Enhanced Modelling of Authenticated Key Exchange Security. IACR Cryptology ePrint Archive, 2017:866, 2017. [doi]

Abstract

Abstract is missing.