Joseph Lallemand, David A. Basin, Christoph Sprenger. Refining Authenticated Key Agreement with Strong Adversaries. In 2017 IEEE European Symposium on Security and Privacy, EuroS&P 2017, Paris, France, April 26-28, 2017. pages 92-107, IEEE, 2017. [doi]
Abstract is missing.