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