Witness-Authenticated Key Exchange, Revisited: Extensions to Groups, Improved Models, Simpler Constructions | Publicación