Cryptography, cryptographic protocols, Theory of Computational Complexity, Information theory, Formal Methods in Cryptographic Protocols, Mathematical Logic.

1983－1985 Linfen Teachers' College, Lecturer

1988－1996 Computing Center, Shanxi Teacher's University, Senior Lecturer.

2001－2002 Engineering Research Center of Computer Languages and Information, Researcher, CAS

2002－Now State Key Laboratory of Information Security, CAS

1994－1995 Dept. of Information and Mathematics, Passau University, Germany. Visiting Scholar. Hosted by Prof. Volker Weispfenning

2005－2006 Dept. of Computer Science, Purdue University. Senior Visiting Scholar. Hosted by Prof. Ninghui Li

2006－2007 Dept of Computer Science, UIUC. Senior Visiting Scholar. Hosted by Manoj M. Prabhakaran 

M. Prabhakaran, Rui Xue, Statistically Hiding Sets. RSA Conference 2009, Cryptographers' Track (CT-RSA 2009). Vol. 5473 of LNCS, pp. 100－116, Springer-Verlag, 2009.

R. Xue, N. Li, and J. Li, Algebraic construction for zero-knowledge sets, Journal of Computer Science and Technology, vol. 23, no. 2, pp. 166－175, 2008.

Yongjian Li, Rui Xue, Design of a CIL Connector to Spin. International Journal of Software Engineering and Knowledge Engineering 18(1): 65-91 (2008)

R. Xue, , N. Li, and J. Li, A new construction of zero knowledge sets secure in random oracle model, in The First International Symposium of Data, Privacy, & E-Commerce, pp. 332－337, 2007， IEEE Press,

R. Xue and D. Feng, Toward practical anonymous rerandomizable RCCA secure encryption, in ICICS 2007 (S. Qing, H. Imai, and G. Wang, eds.), vol. 4861 of LNCS, pp. 239－253, Springer-Verlag, 2007.

J. Li, N. Li, and R. Xue, Universal accumulators with efficient non- membership proofs, in Cryptography and Network Security(ACNS07), vol. 4521 of Lecture Notes in Computer Science, pp. 253-269, Springer-Verlag, 2007.

R. Xue and J. Liu, Universal inverting algorithms for bounded one-way functions. 计算机学报, vol. 29, no. 9, pp. 1603-1607, 2006.

R. Xue and D. Feng, 安全协议的形式化验证的方法与技术. 计算机学报, vol. 1, pp. 1-20, January 2006.

R. Xue, D. Song, Z. Zhang, and D. Feng, A generic scheme for zero-knowledge sets. In IWAP'05, vol. 128 of Frontiers in Artificial Intelligence and Applications, (Singapore), IOS Press, Sept. 21-23 2005.

R. Xue and D. Feng, A new semantic model for authentication protocols in ASMs. Journal of Computer Science and Technology, vol. 19, no. 4, pp. 555-563, 2004.

R. Xue, M. Han, J. Li, and D. Feng, Bounded one-way functions and its properties. in CHINACRYPT'2004, pp. 357-364, 2004.

R. Xue and H. Lin, On decidability and model checking for a first order modal logic for value-passing processes. Science in China F.(中国科学), vol. 46, no. 1, pp. 45-59, 2003.

薛锐 林惠民 面向传值进程的谓词μ-演算与FO(HML)的完备推演系统. 计算机学报, vol. 25, no. 6, pp. 561-569, 2002.

薛 锐, 有序实数加法理论新的判定过程与多项式谱 (1088) 软件学报, vol. 12, no. 7, pp. 1088-1092, 2001.

Y. Li and R. Xue, Design of a CIL connector to SPIN. in Annual International Computer Software & Application conference, no. 28, pp. 349-354, IEEE, IEEE press, Sept. 2004.

H. Sun, D. Lin, and R. Xue, A new group key exchange protocol based on zero-knowledge set. Asian Journal of Information Technology, vol. 5, pp. 237-241, Jan. 2006.

曹天杰　林东岱　薛锐　基于椭圆曲线的代理多签名方案的安全性分析. 小型微型计算机系统. 2006 Vol.27 No.5: 798-801, 2006.

T. Cao, D. Lin, and R. Xue, Id-based designated-verifier proxy signatures. IEE Proceedings Communications, vol. 152, no. 6, pp. 989-994, 2006.

T. Cao, D. Lin, and R. Xue, Security analysis of some batch verifying signatures from pairings. International Journal of Network Security, vol. 3, no. 2, pp. 138-143, 2006.

沈海峰，薛锐，黄河燕。 用串空间分析公平交换协议。小型微型计算机系统。 2006年vol 2（1）：62-68.

T. Cao, D. Lin, and R. Xue, Universal designated-verifier proxy blind signatures for e-commerce. In International Conference on Computational Intelligence and Security, pp. 1036-1041, 2005.

T. Cao, D. Lin, and R. Xue, On monitoring the information on webs. Journal of Communication and Computer, vol. 6, no. 2, pp. 1-6, 2005.

T. Cao, D. Lin, and R. Xue, 一个组密钥协商协议的安全性分析. 计算机工程与应用. vol. 17, no. 41, pp. 13-14, 2005.

H. Sun, D. Lin, and R. Xue, An improved efficient self-healing group key distribution. Asian Journal of Information Technology, vol. 10, no. 4, pp. 945-949, 2005.

沈海峰 薛 锐 黄河燕 陈肇雄 串空间理论扩展. 软件学报, vol. 16, no. 10, pp. 1784-1789, 2005.

L. Li, R. Xue, and H. Zhang, 基于口令的认证协议安全性分析. 电子学报, vol. 33, pp. 11-17, January 2005.

L. Li, H. Sun, R. Xue, and H. Zhang, Protect the secrecy in passwrod-based key exchange protocols. Chinese Journal of Electronics, vol. 14, pp. 253-257, April 2005.

H. Shi, R. Xue, and D. Feng, AVSP 的算法分析. 计算机工程与设计, vol. 26, pp. 867-869, 872, April 2005.

T. Cao, D. Lin, and R. Xue, ID-based ring authenticated encryption. In 19th International conference on Advanced Information Networking and Applications (AINA05), (Taiwan), pp. 591-596, IEEE Press, March 2005.

T. Cao, D. Lin, and R. Xue, An efficient ID-based deniable authentication protocol from pairings. In 19th International conference on Advanced Information Networking and Application (AINA05), (Taiwan), pp. 388-391, IEEE press, March 2005.

T. Cao, D. Lin, and R. Xue, A randomized RSA-based partially blind signature scheme for electronic cash. Computers & Security, vol. 24, pp. 44-49, Janu. 2005.

沈海峰　薛锐　黄河燕，陈肇雄. JFK协议的安全性分析 。小型微型计算机系统。 2005年vol 26（10）：1681-1686.

H. Sun, D. Lin, and R. Xue, Application of strand space theory in zero-knowledge protocols. In Tenth Joint International Computer Conference 2004, JICC, (Kunming, China), pp. 435-437, International Academic Publishers World Publishing Corporation, November 2004.

X. Liu, H. Shi, R. Xue, and J. Zhou, 安全协议自动验证中的状态剪枝算法. 计算机应用, vol. 24, no. 8, pp. 117-121, 2004.

T. Cao, D. Lin, and R. Xue, Improved ring authenticated encryption scheme," in Tenth Joint International Computer Conference 2004, JICC, (Kunming, China), pp. 341-346, International Academic Publishers World Publishing Corporation, 2004.

T. Cao, D. Lin, and R. Xue, Improved privacy-protecting proxy signature scheme. In AWCC 2004 (C.-H. Chi and K.-Y. Lam, eds.), no. 3309 in LNCS, pp. 208-213, Springer-Verlag. Berlin Heidelberg, 2004.

T. Cao, D. Lin, and R. Xue, Security analysis of user efficient blind signatures. In AWCC 2004 (C.-H. Chi and K.-Y. Lam, eds.), no. 3309 in LNCS, pp. 208-213, Springer-Verlag. Berlin Heidelberg, 2004.

T. Cao, D. Lin, and R. Xue, Cryptanalysis of user efficient fair e-cash schemes. In 16th International Conference On Computer Communication(ICCC2004), (Beijing), pp. 524-528, Publishing House of Electronics Industry, Sept. 2004.

Y. Li and R. Xue, Using SPIN to model cryptographic protocols. In ITCC'2004 (P. Srimani, ed.), (Las Vegas, Nevada.), pp. 741-745, 2004.

L. Li, H. Sun, R. Xue, and H. Zhang, Analysis on the secrecy of the password-only key exchange protocol using item-node graph model. In CHINACRYPT'2004, pp. 250-262。

L. Li, H. Sun, R. Xue, H. Zhang, and D. Feng, Forward security analysis of protocols based on item-node graph model. In Proceeding of National Computer Conference, pp. 262-268, Computer Associate in China, 2003.

L. Li, R. Xue, H. Zhang, D. Feng, and L. Wang, Security analysis of authenticated key exchange based on password. In Proceeding of National Computer Conference, pp. 247-252, Computer Associate in China, 2003.

R. Xue and D. Feng, Specifying security protocols in ASM. 中科院研究生院学报, vol. 19, no. 3,