基本信息
薛锐男博导中国科学院信息工程研究所
电子邮件： xuerui@iie.ac.cn
通信地址： 北京市海淀区闵庄路甲89号B2 座
邮政编码： 100093

研究领域密码学与安全协议, 安全协议分析的形式化方法.

招生信息
每年招收硕士生 1-2 名, 博士生1- 2 名. 特别招收数学系的学生（不要求密码学的基础）



招生专业083900-网络空间安全

招生方向密码理论与技术，密码协议理论与技术


教育背景1996-09--1999-07北京师范大学数学系博士

学历 -- 研究生

学位 -- 博士

出国学习工作1994-1995 德国 Passau 大学数学与信息系
2005-2006 美国 Purdue University 计算机系
2006-2007 美国 UIUC 计算机系

工作经历
社会兼职2018-04-02-今,信息安全国家重点实验室, 副主任
2017-12-10-今,密码学会密码应用工作委员会, 副主任
2015-12-01-今,中国保密协会隐私保护专业委员会, 秘书长
2015-01-01-今,密码学会安全协议专委会, 副主任
2015-01-01-2018-12-31,软件学报, 责任编委
2014-07-01-2017-06-30,计算机研究与发展, 编委
2013-06-01-2017-12-01,信息安全国家重点实验室, 副主任
2012-01-01-2014-12-31,软件学报, 责任编委
2012-01-01-今,北京交通大学, 兼职教授
2010-05-03-今,解放军信息工程大学, 兼职教授


教授课程理论密码学
应用密码学
现代密码学


专利与奖励1. 中国科学院大学朱李月华优秀教师（2016）
2. 全国网络空间安全优秀教师（2018）

专利成果（ 1 ） 一种安全协议形式化验证方法, 发明, 2013, 第 1 作者, 专利号: 7.2
（ 2 ） 一种基于强RSA假设的数字签名方法, 发明, 2012, 第 2 作者, 专利号: 9.0


出版信息
发表论文（1）Attribute-based multi-function verifiable computation,Future Generation Comp. Syst,,2018,第3作者
（2）General Transformations from Single-Generation to Multi-Generation for Homomorphic Message Authentication Schemes in Network Coding,Future Generation Computer Systems,2018,第4作者
（3）Large-scale Third-party Library Detection in Android Markets.,IEEE Transactions on Software Engineering（TSE）,2018,第7作者
（4）Verifiable Outsourcing Computation for Modular Exponentiation from Shareable Functions,Cluster Computing,2018,第3作者
（5）Leveled FHE with Matrix Message Space,he 13th China International Conference on Information Security and Cryptology (INSCRYPT 2017,2018,第3作者
（6）Matrix FHE and Its Application in Optimizing Bootstrapping,The Computer Journal,2018,第3作者
（7）CCA1 secure FHE from PIO, Revisited.,Cybersecurity,2018,第3作者
（8）Two Efficient Tag-based Encryption Schemes on Lattices,The 2017 International Conference on Information and Communications Security,2018,第3作者
（9）具有短密文的多身份全同态加密构造框架,信息安全学报,2018,第3作者
（10）A More Compact Multi-id Identity-based FHE Scheme in the Standard Model and Its Applications.,SCIENCE CHINA Information Sciences,2018,第4作者
（11）On Constructing Pairing-Free Identity-Based Encryptions,Information Security Conference (ISC),2018,第4作者
（12）Private Functional Signatures: Definition and Construction,23rd Australasian Conference on Information Security and Privacy (ACISP2018),2018,第3作者
（13）Identity-Based Functional Encryption for Quadratic Functions from Lattices,20th International Conference on Information and Communications Security,2018,第3作者
（14）A new audio steganalysis method based on linear prediction.,Multimedia Tools Appl.,2018,第2作者
（15）Homomorphic MAC from Algebraic One-Way Functions for Network Coding with Small Key Size,The Computer Journal, 60(12): 1785-1800,2017,第3作者
（16）A kind of three-weight linear codes.,Cryptography and Communications 9(3): 315-322,2017,第4作者
（17）标准模型下适应性安全的 BF-IBE 方案.,密码学报,2017, 4(1):38-48,2017,第2作者
（18）程序漏洞: 原因, 利用与缓解.,信息安全学报, 2017,2(4): 41-56,2017,第2作者
（19）Leveled FHE with Matrix Message Space,Inscrypt 2017,2017,第3作者
（20）Oblivious Multi-Keyword Search for Secure Cloud Storage Service,2017 IEEE International Conference on Web Services (ICWS 2017),2017,第2作者
（21）Multi-Client Verifiable Computation Service of Polynomials on Outsourced Data,2017 IEEE International Conference on Web Services (ICWS 2017),2017,第3作者
（22）Searchable Encryption for Healthcare Clouds: A Survey.,IEEE Transactions on Services Computing, 1939, PP(99):1-1,2017,第2作者
（23）LibD: scalable and precise third-party library detection in android markets,39th International Conference on Software Engineering,2017,第7作者
（24）A new audio steganalysis method based on linear prediction.,Multimedia Tools and Applications. (2017) DOI:10.1007/s11042-017-5123-x (online),2017,第2作者
（25）A new audio steganalysis method based on linear prediction.,Multimedia Tools and Applications. (2017) DOI:10.1007/s11042-017-5123-x (online),2017,第2作者
（26）Two Efficient Tag-based Encryption Schemes on Lattices,ICICS2017,2017,第3作者
（27）对于一个新的CCA安全的密码方案的分析,密码学报. 2017, 4 (2): 106-113,2017,第2作者
（28）Security analysis of a TESLA-based homomorphic MAC scheme for authentication in P2P live streaming system.,Security and Communication Networks 9(16): 3309-3313 (2016),2016,第4作者
（29）Dynamic proofs of retrievability with square-root oblivious RAM.,J. Ambient Intelligence and Humanized Computing 7(5): 611-621 (2016),2016,第4作者
（30）Dynamic and Efficient Private Keyword Search over Inverted Index-Based Encrypted Data,ACM Trans. Internet Techn. 16(3): 21:1-21:20,2016,第2作者
（31）Network Coding Signature Schemes Against Related-Key Attacks in the Random Oracle Model.,ICISC 2016: 239-253,2016,第4作者
（32）PVSAE: A Public Verifiable Searchable Encryption Service Framework for Outsourced Encrypted Data.,ICWS 2016: 428-435,2016,第2作者
（33）Verifiable Computation for Randomized Algorithm.,INDOCRYPT 2016: 99-118,2016,第3作者
（34）Timely address space rerandomization for resisting code reuse attacks. Concurrency and Computation: Practice and Experience.,Timely address space rerandomization for resisting code reuse attacks. Concurrency and Computation: Practice and Experience. Wiley Publishing,2016,第2作者
（35）安全协议形式化分析技术与验证工具发展研究,密码学--学科发展报告,2016,第1作者
（36）A Generic Construction of Homomorphic MAC for Multi-File Transmission in Network Coding. ,A Generic Construction of Homomorphic MAC for Multi-File Transmission in Network Coding. Journal of Communications. Vol. 10(1), pp. 43-47, January,2015,第2作者
（37）The KDM-CCA Security of the Kurosawa-Desmedt Scheme. ,The KDM-CCA Security of the Kurosawa-Desmedt Scheme. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. (Accepted) ,2015,第2作者
（38）可验证计算研究进展.,中国科学: 信息科学,2015,第1作者
（39）Efficient Keyword Search for Public-Key Setting,Military Communications Conference 2015,,2015,第2作者
（40）An Approach for Mitigating Potential Threats in Practical SSO Systems,The 11th China International Conference on Information Security and Cryptography,2015,第4作者
（41）Binary Linear Codes With Two Weights,IEEE Communications Letters,2015,第3作者
（42）A Generic Construction of Homomorphic MAC for Multi-File Transmission in Network Coding,JCM,2015,第2作者
（43） KDM-CCA Security of the Cramer-Shoup Cryptosystem, Revisited, SECRYPT 2014, pp.299-306,2014,第2作者
（44）Practical Key-Dependent Message Chosen-Ciphertext Security Based on Decisional Composite Residuosity and Quadratic Residuosity Assumptions.,Security and Communication Networks, DOI: 10.1002/sec.1101,2014,第2作者
（45）On the Security against Nonadaptive Chosen Ciphertext Attack and Key-Dependent Message Attack.,IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences. Vol. E97-A, No.11, pp. 2267-2271, November,2014,第2作者
（46）General Construction of Chameleon All-But-One Trapdoor Functions and Their Applications.,Journal of Software. Vol. 9(10), pp. 2557-2563, October,2014,第2作者
（47）ElGamal 加密方案的 KDM 安全性.,密码学报，1(3): 235-243, 2014.,2014,第2作者
（48） IK-CPA security implies IE-CCA security in the Random Oracle Model.,Science in China (Information Science),2013,第1作者
（49）iBigTable: practical data integrity for bigtable in public cloud.,CODASPY 13 ,2013,第3作者
（50）Inner-Product Lossy Trapdoor Functions and Applications,SCN 2012 Best paper,2012,第2作者
（51）Multi-Central-Authority Attribute-Based Signature,ISISE2012,,2012,第3作者
（52）A Framework Based on Time and Space for Analyzing Denial of Service Attacks,ISISE2012,2012,第2作者
（53）On the Invisibility of Designated Confirmer Signatures,ASIACCS 2011,2011,第3作者
（54） Computational soundness about formal encryption in the presence of secret shares and key cycles(simplified version).,ICICS 2011, LNCS 7043,2011,第2作者
（55） IK-CPA security implies IE-CCA security in the Random Oracle Model. ,Science China,2011,第1作者
（56） Efficient threshold encryption from lossy trapdoor functions. Post-Quantum Cryptography,PQCrypto2011,2011,第2作者
（57） Some Improvements to the Cost-Based Framework for Analyzing Denial of Service Attacks,INTRUST11,2011,第3作者
（58）Toward Real-life Implementation of Signature Schemes from the Strong RSA Assumption,LNCS,2011,第2作者
（59）A Short Signature Scheme from the RSA Family.,LNCS 6531,2011,第2作者
（60）安全协议—信息安全保障的灵魂,中国科学院院刊,2011,第1作者
（61）Universal Designated-Verifier Partially Blind Signatures for E-Commerce,International Journal of Computer and Applications,2010,第3作者
（62）A Model Checker for Security Protocols.,IIHMS 2010,2010,通讯作者
（63）Formal Verification of HMQV using ASM-SPV,IIHS2010,2010,第2作者
（64）Some Improvements on Model Checking CoreASM Models of Security Protocols,ISDPE 2010,2010,通讯作者
（65）Multifactor Identity Verification Using Aggregated Proof of Knowledge, IEEE TRANS. ON SMCC, VOL. 40, NO. 4,2010,第3作者
（66）密码协议研究,《密码学学科发展报告》,2010,第2作者

发表著作（1）密码协议分析的逻辑分析方法,The Logical Methods to Analysis of Security Protocols,科学出版社,2013-03,第2作者
（2）公钥加密理论,The Public-Key Encryption Theory,科学出版社,2016-06,第1作者

软件著作权(1) ASM-SPV AnB2IF 协议语言转换系统 V1.0. 登记号: 2013SR043545. 2013年2月26日
(2) 多中央权威的基于属性签名系统 V1.0. 登记号: 2013SR049259. 2013年2月26日

国际会议委员ProvSec 2012，InTrust 2012，INTRUST 2011，AsiaPKC 2013，ISPEC 2015，AsiaCCS 2016，INTRUST 2015，ICICS 2015，ATIS 2016，PSBD 2017，ATIS2017