Refining Authenticated Key Agreement with Strong Adversariesby Joseph Lallemand and Christoph Sprenger31 Jan