薛锐，男，研究员，主要研究方向包括: 密码学，安全协议, 计算复杂性理论、信息安全理论、密码协议的形式化方法、数理逻辑等。