李紅達，吉林省四平市梨樹縣孤家子鎮張家街村駐村第一書記，四平市職業技術教育中心招生就業處主任。
2021年2月25日，黨中央、國務院決定，授予李紅達“全國脫貧攻堅先進個人”稱號。
基本介紹
- 中文名：李紅達
- 畢業院校：延安大學
- 職業：吉林省四平市梨樹縣孤家子鎮張家街村駐村第一書記，四平市職業技術教育中心招生就業處主任
- 主要成就：被公示為“全國脫貧攻堅先進個人”擬推薦對象
- 學位/學歷：博士研究生
人物經歷,教育背景,工作經歷,社會兼職,教授課程,出版信息,科研活動,人物榮譽,
人物經歷
吉林省四平市梨樹縣孤家子鎮張家街村駐村第一書記，四平市職業技術教育中心招生就業處主任。
教育背景
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
人物榮譽
2021年2月25日，黨中央、國務院決定，授予李紅達“全國脫貧攻堅先進個人”稱號。
2021年6月，被評為吉林省優秀黨務工作者。
