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） Analysis of Bitcoin Backbone Protocol in the Non-Flat Model, SCIENCE CHINA Information Sciences, 2020, 第 2 作者
（2） The Privacy-Preserving Leaders in Proof-of-Stake Based Blockchain Protocols or, A Secure Transformation from PoW to PoS, ACISP2020, 2020, 第 2 作者
（3） Public-coin Differing-inputs Obfuscator for Hiding-input Point Function with Multi-bit Output and Its Applications, Indocrypt 2019, 2019, 第 3 作者
（4） Witness Encryption with (Weak) Unique Decryption and Message Indistinguishability: Constructions and Applications, ACISP 2019， LNCS 11547, 2019, 第 3 作者
（5） Hierarchical Functional Signcryption: Notion and Construction, ProvSec 2019, 2019, 第 3 作者
（6） Micropaying to a Distributed Payee with Instant Confirmation, ICICS2018, 2018, 第 2 作者
（7） Micropaying to a distributed payee with instant confirmation, LNCS11149, 2018, 第 2 作者
（8） Attribute-based non-interactive key exchange, SCIENCE CHINA Information Sciences, 2017, 第 3 作者
（9） Constrained Verifiable Random Functions from Indistinguishability Obfuscation, ProvSec2015, 2015, 第 2 作者
（10） Constant-round Leakage-Resilient Zero-Knowledge Argument for NP from the Knowledge-of-Exponent Assumption, ACISP2015, 2015, 第 2 作者
（11） Fully Leakage-Resilient Non-Malleable Identification Schemes in the Bounded-Retrieval Model, IWSEC2015, 2015, 第 2 作者
（12） Multi-hop Unidirectional Proxy Re-encryption from Multilinear Maps.,  IEICE TRANS. FUNDAMENTALS, 2015, 第 2 作者
（13）  Multi-use unidirectional proxy resignatures of constant size without random oracles,  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2015, 第 2 作者
（14）  One-Round Witness Indistinguishability from Indistinguishability Obfuscation, ISPEC2015, 2015, 第 2 作者
（15） The Generic Transformation from Standard Signatures to Identity-Based Aggregate Signatures, LNCS 9290, 2015, 第 2 作者
（16） Verifiable Random Functions from (Leveled) Multilinear Map, LNCS 9476, 2015, 第 2 作者
（17） Ring Signatures of Constant Size without Random Oracles, INSCRYPT 2014, 2014, 第 2 作者
（18） Attribute-based signatures for circuits from multilinear maps, ISC2014, 2014, 第 2 作者
（19） Joint Signature and Encryption in the Presence of Continual Leakage, WISA 2014, 2014, 第 2 作者
（20） Simpler CCA-Secure Public Key Encryption from Lossy Trapdoor Functions, INSCRYPT 2014, 2014, 第 3 作者
（21） Functional Signatures from Indistinguishability Obfuscation, InTrust 2014, 2014, 第 2 作者
（22） Constant-round zero-knowledge proofs of knowledge with strict polynomial-time extractors for NP,  Science China Information Science, 2014, 第 1 作者
（23） Efficient Leakage-Resilient Signature Schemes in the Generic Bilinear Group Model, ISPEC 2014, LNCS, 2014, 第 2 作者
（24） Leakage-resilient zero knowledge proofs of knowledge for NP, LNCS 7873, 2013, 第 1 作者
（25） Leakage-Resilient Proxy Signatures , INCoS2013, 2013, 第 2 作者
（26） ID-Based Signcryption with Restrictive Unsigncryption, INCoS2013, 2013, 第 3 作者
（27） NP 问题的最优轮复杂性知识的零知识证明, 中国科学, 2012, 第 1 作者
（28） Universally composable zero-knowledge sets, Int. J. Grid and Utility Computing, 2012, 第 2 作者
（29） A note on constant-round concurrent zero-knowledge arguments of knowledge for NP,  LNCS, Vol. 7646 , 2012, 第 1 作者
（30） Round-Optimal Zero-Knowledge Proofs of Knowledge for NP, Science China Information Sciences, 2012, 第 1 作者
（31）  A Leakage-Resilient Zero Knowledge Proof for Lattice Problem,  LNCS, Vol. 7672 , 2012, 第 2 作者
（32） NP问题的3轮零知识证明系统的存在性, The existence of 3-round zero-knowledge proof systems for NP, 中国科学, 2010, 
（33） On constant-round zero-knowledge proofs of knowledge for NP-relations, Science China Information Sciences, 2010, 
（34）  NP问题的常数轮知识的零知识证明, 中国科学 信息科学, 2010, 
（35） 基于欧拉函数秘密分享的RSA私钥的理性分布计算, Rational Distributed Computation of the RSA Private Key over the Shared Euler Totient Function, Computer Engineering and Science, 2010, 
（36） NP问题的三轮零知识证明的存在性, Existence of 3-round zero-knowledge proof systems for NP., Science China Information Sciences, 2008, 
（37） 普适复合水银承诺方案,  Universally composable mercurial commitment scheme, 计算机学报, 2008, 
（38） 用伪随机函数实例化OAEP中的Random-Oracle, Instantiate random oracle in OAEP with pseudorandom function, WuHan University Journal of Natural Sciences , 2008, 
（39） 公平的知识签名, Fair Signature of Knowledge, 武汉大学学报（理学版）, 2008, 

   

（ 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