基本信息
李红达男博导中国科学院信息工程研究所
电子邮件： lihongda@iie.ac.cn
通信地址： 风林绿洲-甲21-102
邮政编码： 100101

研究领域

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

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

参与会议（1）Mircopaying to a distributed payee with instant confirmationNi Peifang, Li Hongda, Pan Dongxue2018-10-29
（2）A GPU-based Fine-grained Parallel Montgomery Multiplication AlgorithmLi Tieniu2011-05-17
（3）Constant-round bounded concurrent zero-knowledge arguments of knowledge for NP第七届中国信息和通信安全Jiang Shuxian2010-04-17
（4）Distributed oblivious transfer with adaptive queriesJiangshuxian2010-04-12


合作情况
项目协作单位

指导学生