Qiang Tang, Chris J. Mitchell. Efficient Compilers for Authenticated Group Key Exchange. In Yue Hao, Jiming Liu, Yuping Wang, Yiu-ming Cheung, Hujun Yin, Licheng Jiao, Jianfeng Ma, Yong-Chang Jiao, editors, Computational Intelligence and Security, International Conference, CIS 2005, Xi an, China, December 15-19, 2005, Proceedings, Part II. Volume 3802 of Lecture Notes in Computer Science, pages 192-197, Springer, 2005. [doi]