083900-网络空间安全

密码协议理论与技术，云计算安全理论与技术

1998-03--2001-04   西北工业大学   博士研究生
1987-09--1990-05   北京科技大学   硕士研究生
1980-09--1984-06   延安大学   学生

   

2012-01~现在, 中国科学院信息工程研究所, 研究员
2003-07~现在, 中科院研究生院DCS中心, 教授
2001-07~2003-06,中科院研究生院信息安全国家重点实验室, 博士后
1998-03~2001-04,西北工业大学, 博士研究生
1990-06~1998-02,延安大学, 教师
1987-09~1990-05,北京科技大学, 硕士研究生
1984-07~1987-08,延安大学, 教师
1980-09~1984-06,延安大学, 学生

2015-11-01-2018-05-31,中国保密协会隐私保护专业委员会, 委员
2014-05-18-2018-05-18,中国密码学会安全协议专业委员会, 委员

安全性归约证明-基础与方法
理论密码学
安全协议设计与分析
密码协议
安全协议
安全协议与形式化方法
安全协议与形式化分析
密码协议专题讨论
密码协议理论

   

（1） Adaptively Secure Constrained Verifiable Random Function, SciSec2023, 2023, 
（2） Generic Construction of (Hierarchical) Functional Pseudorandom Functions, CCRIS22, 2022, 第 2 作者
（3） The Privacy-Preserving Leaders in Proof-of-Stake Based Blockchain Protocols or, A Secure Transformation from PoW to PoS, ACISP2020, 2020, 第 1 作者
（4） Analysis of bitcoin backbone protocol in the non-flat model, Analysis of bitcoin backbone protocol in the non-flat model, SCIENCE CHINA. INFORMATION SCIENCE, 2020, 第 2 作者  通讯作者
（5） Public-Coin Differing-Inputs Obfuscator for Hiding-Input Point Function with Multi-bit Output and Its Applications, PROGRESS IN CRYPTOLOGY - INDOCRYPT 2019, 2019, 第 3 作者
（6） Witness Encryption with (Weak) Unique Decryption and Message Indistinguishability: Constructions and Applications, INFORMATION SECURITY AND PRIVACY, ACISP 2019, 2019, 第 3 作者
（7） Hierarchical Functional Signcryption: Notion and Construction, PROVABLE SECURITY, PROVSEC 2019, 2019, 第 3 作者
（8） Micropaying to a distributed payee with instant confirmation, LNCS11149, 2018, 第 1 作者
（9） Attribute-based non-interactive key exchange, SCIENCE CHINA-INFORMATION SCIENCES, 2017, 第 3 作者  通讯作者
（10） Secure Mobile Agent from Leakage-Resilient Proxy Signatures, MOBILE INFORMATION SYSTEMS, 2015, 第 2 作者
（11） Multi-Use Unidirectional Proxy Re-Signatures of Constant Size without Random Oracles, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2015, 第 2 作者
（12） Constrained Verifiable Random Functions from Indistinguishability Obfuscation, PROVABLE SECURITY, PROVSEC 2015, 2015, 第 2 作者
（13） The Generic Transformation from Standard Signatures to Identity-Based Aggregate Signatures, LNCS 9290, 2015, 第 1 作者
（14） Joint Signature and Encryption in the Presence of Continual Leakage, INFORMATION SECURITY APPLICATIONS, WISA 2014, 2015, 第 2 作者
（15） Ring Signatures of Constant Size Without Random Oracles, INFORMATION SECURITY AND CRYPTOLOGY (INSCRYPT 2014), 2015, 第 2 作者
（16） Verifiable Random Functions from (Leveled) Multilinear Map, LNCS 9476, 2015, 第 1 作者
（17） Multi-Hop Unidirectional Proxy Re-Encryption from Multilinear Maps, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2015, 第 2 作者
（18） Fully Leakage-Resilient Non-Malleable Identification Schemes in the Bounded-Retrieval Model, IWSEC2015, 2015, 第 1 作者
（19） Constant-Round Leakage-Resilient Zero-Knowledge Argument for NP from the Knowledge-of-Exponent Assumption, INFORMATION SECURITY AND PRIVACY (ACISP 2015), 2015, 第 2 作者
（20） Verifiable Random Functions from (Leveled) Multilinear Maps, CRYPTOLOGY AND NETWORK SECURITY, CANS 2015, 2015, 第 2 作者
（21） Functional Signatures from Indistinguishability Obfuscation, TRUSTED SYSTEMS, INTRUST 2014, 2015, 第 2 作者
（22） One-Round Witness Indistinguishability from Indistinguishability Obfuscation, INFORMATION SECURITY PRACTICE AND EXPERIENCE, ISPEC 2015, 2015, 第 2 作者
（23） 基于模拟器的沙箱系统研究, Research on Emulator-Based Sandbox Systems, 信息网络安全, 2015, 第 4 作者
（24） Simpler CCA-Secure Public Key Encryption from Lossy Trapdoor Functions, INFORMATION SECURITY AND CRYPTOLOGY (INSCRYPT 2014), 2015, 第 3 作者
（25） Constant-round zero-knowledge proofs of knowledge with strict polynomial-time extractors for NP, SCIENCE CHINA. INFORMATION SCIENCE, 2014, 第 1 作者
（26） Attribute-based signatures for circuits from multilinear maps, ISC2014, 2014, 第 1 作者
（27） Constant-round zero-knowledge proofs of knowledge with strict polynomial-time extractors for NP, SCIENCE CHINA-INFORMATION SCIENCES, 2014, 第 1 作者  通讯作者
（28） Efficient Leakage-Resilient Signature Schemes in the Generic Bilinear Group Model, Information security practice and experience :, 2014, 第 3 作者
（29） ID-Based Signcryption with Restrictive Unsigncryption, INCoS2013, 2013, 第 1 作者
（30） Leakage-resilient zero knowledge proofs of knowledge for NP, LNCS 7873, 2013, 第 1 作者
（31） Universally composable zero-knowledge sets, INTERNATIONAL JOURNAL OF GRID AND UTILITY COMPUTING, 2012, 第 2 作者
（32） NP问题的最优轮复杂性知识的零知识证明, Round-optimal zero-knowledge proofs of knowledge for NP, 中国科学：信息科学, 2012, 第 1 作者
（33） Round-optimal zero-knowledge proofs of knowledge for NP, Round-optimal zero-knowledge proofs of knowledge for NP, 中国科学：信息科学（英文版）, 2012, 第 1 作者
（34） A Leakage-Resilient Zero Knowledge Proof for Lattice Problem, 2012, 第 1 作者
（35） A note on constant-round concurrent zero-knowledge arguments of knowledge for NP, LNCS, Vol. 7646, 2012, 第 1 作者
（36） On constant-round zero-knowledge proofs of knowledge for np-relations, SCIENCE CHINA-INFORMATION SCIENCES, 2010, 第 1 作者  通讯作者
（37） 基于欧拉函数秘密分享的RSA私钥的理性分布计算（英文）, Rational Distributed Computation of the RSA Private Key over the Shared Euler Totient Function, 计算机工程与科学, 2010, 第 2 作者
（38） NP问题的常数轮知识的零知识证明系统, 中国科学. 信息科学, 2010, 第 1 作者
（39） 基于欧拉函数秘密分享的RSA私钥的理性分布计算（英文）, Rational Distributed Computation of the RSA Private Key over the Shared Euler Totient Function, 计算机工程与科学, 2010, 第 2 作者
（40） 用伪随机函数实例化OAEP中的Random-Oracle, WuHan University Journal of Natural Sciences, 2008, 
（41） 多陷门水银承诺方案, Multi-trapdoor mercurial commitment scheme, 中国科学院研究生院学报, 2008, 第 2 作者
（42） 普适复合水银承诺方案, Universally Composable Mercurial Commitment Scheme, 计算机学报, 2008, 第 2 作者
（43） 公平的知识签名, Fair Signature of Knowledge, 武汉大学学报：理学版, 2008, 第 2 作者
（44） Existence of 3-round zero-knowledge proof systems for NP, SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2008, 第 1 作者  通讯作者
（45） NP问题的三轮零知识证明的存在性, Science China Information Sciences, 2008, 
（46） NP问题的3轮零知识证明系统的存在性, 中国科学：E辑, 2007, 第 1 作者
（47） 基于复合离散混沌动力系统的序列密码算法, 软件学报, 2003, 第 1 作者
（48） 复合离散混沌动力系统与序列密码体系, Composite Nonlinare Descrete Chaotic Dynamical Systems and Stream Cipher Systems, 电子学报, 2003, 第 1 作者
（49） 向量递归迭代函数系统及其不变测度, VECTOR RECURRENT ITERATED FUNCTION SYSTEM AND ITS UNVARIANT MEASURE, 系统科学与数学, 2003, 第 1 作者
（50） 财政部关于印发《关于执行〈企业会计制度〉和相关会计准则有关问题解答（二）》的通知——关于执行《企业会计制度》和相关会计准则有关问题解答（二）, 时代财会, 2003, 第 1 作者
（51） 复合离散混沟动力系统与Hash函数, Composite Nonlinare Discrete Chaotic Dynamical Systems and Keyed Hash Functions, 计算机学报, 2003, 第 1 作者
（52） Cantor尘的Hausdorff测度估计, The estimation of Hausdorff measure of Cantor dust, 计算数学, 2002, 第 1 作者
（53） 参数曲面自由变形新方法, A New Approach of Free-form Deformation for Parametric Surface, 工程图学学报, 2002, 第 4 作者
（54） 分形插值曲面, Fractal Interpolation Surface, 计算机辅助设计与图形学学报, 2002, 第 1 作者
（55） Sierpinski垫片的Hausdorff测度, 工程数学学报, 2000, 第 1 作者
（56） Secure Mobile Agent from Leakage-Resilient Proxy Signatures, HINDAWI PUBLISHING CORPORATION, 第 3 作者

   

（ 1 ） 电子货币基础构造理论研究(重点专项子课题), 参与, 国家任务, 2017-07--2020-12

（1）Mircopaying to a distributed payee with instant confirmation   Ni Peifang, Li Hongda, Pan Dongxue   2018-10-29
（2）A GPU-based Fine-grained Parallel Montgomery Multiplication Algorithm   Li Tieniu   2011-05-17
（3）Constant-round bounded concurrent zero-knowledge arguments of knowledge for NP   第七届中国信息和通信安全   Jiang Shuxian   2010-04-17
（4）Distributed oblivious transfer with adaptive queries   Jiangshuxian   2010-04-12