基本信息
李红达  男  博导  中国科学院信息工程研究所
电子邮件: 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) 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, 第 11 作者
(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, 第 11 作者
(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, 第 11 作者
(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, 第 11 作者
(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, 第 11 作者
(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