Yong Li, Sven Schäge, Zheng Yang, Christoph Bader, Jörg Schwenk. New Modular Compilers for Authenticated Key Exchange. In Ioana Boureanu, Philippe Owesarski, Serge Vaudenay, editors, Applied Cryptography and Network Security - 12th International Conference, ACNS 2014, Lausanne, Switzerland, June 10-13, 2014. Proceedings. Volume 8479 of Lecture Notes in Computer Science, pages 1-18, Springer, 2014. [doi]