Refining Authenticated Key Agreement with Strong Adversaries by Joseph Lallemand and Christoph Sprenger Jan 31