TagsAffiliationAarhus Universitye-mailActiveCollaborationJoint PapersWitness-Authenticated Key Exchange Revisited: Improved Models, Simpler Constructions, Extensions to Groups