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

合作情况

   
项目协作单位
   

指导学生