信息工程研究所 黄震宇 男
作者：科大科院考研网 发表时间：2019-12-11 来源：研招办
科院考研推荐链接：
研究领域
密码分析、计算机代数
招生信息
招生专业
083900-网络空间安全
招生方向
密码理论与技术
工作经历
工作简历
2014-10~现在, 中国科学院信息工程研究所, 副研究员
2012-04~2014-10,中国科学院信息工程研究所, 助理研究员
2010-07~2012-04,中国科学院软件研究所, 博士后
2012-04~2014-10,中国科学院信息工程研究所, 助理研究员
2010-07~2012-04,中国科学院软件研究所, 博士后
社会兼职
教授课程
密码学中的量子计算基础
代数密码分析技术
代数密码分析技术
专利与奖励
奖励信息
专利成果
出版信息
发表论文
（1） Speeding Up the GVW Algorithm via a Substituting Method, Journal of Systems Science and Complexity, 2019, 第 3 作者
（2） PBCS: An Efficient Parallel Characteristic Set Method for Solving Boolean Polynomial Systems, International Conference on Parallel Processing, 2018, 第 5 作者
（3） Solving polynomial systems with noise over F2: Revisited, Theoretical Computer Science, 2017, 第 1 作者
（4） An improvement over the GVW algorithm for inhomogeneous polynomial systems, Finite Fields and Their Applications, 2016, 通讯作者
（5） Solving Boolean equation systems and applications in cryptanalysis, Science China Information Sciences, 2016, 通讯作者
（6） On implementing the symbolic preprocessing function over Boolean polynomial rings in Gröbner basis algorithms using linear algebra, Journal of Systems Science and Complexity, 2016, 通讯作者
（7） A New Method for Solving Polynomial Systems with Noise over F2 and Its Applications in Cold Boot Key Recovery, Selected Areas in Cryptography, 2013, 第 1 作者
（8） Characteristic set algorithms for equation solving in finite fields, Journal of Symbolic Computation, 2012, 通讯作者
（9） Parametric equation solving and quantifier elimination in finite fields with the characteristic set method, Journal of Systems Science and Complexity, 2012, 第 1 作者
（10） Attacking Bivium and Trivium with the Characteristic Set Method, Progress in Cryptology–AFRICACRYPT, 2011, 第 1 作者
（11） Rational solutions of ordinary difference equations, Journal of Symbolic Computation, 2008, 第 3 作者
（2） PBCS: An Efficient Parallel Characteristic Set Method for Solving Boolean Polynomial Systems, International Conference on Parallel Processing, 2018, 第 5 作者
（3） Solving polynomial systems with noise over F2: Revisited, Theoretical Computer Science, 2017, 第 1 作者
（4） An improvement over the GVW algorithm for inhomogeneous polynomial systems, Finite Fields and Their Applications, 2016, 通讯作者
（5） Solving Boolean equation systems and applications in cryptanalysis, Science China Information Sciences, 2016, 通讯作者
（6） On implementing the symbolic preprocessing function over Boolean polynomial rings in Gröbner basis algorithms using linear algebra, Journal of Systems Science and Complexity, 2016, 通讯作者
（7） A New Method for Solving Polynomial Systems with Noise over F2 and Its Applications in Cold Boot Key Recovery, Selected Areas in Cryptography, 2013, 第 1 作者
（8） Characteristic set algorithms for equation solving in finite fields, Journal of Symbolic Computation, 2012, 通讯作者
（9） Parametric equation solving and quantifier elimination in finite fields with the characteristic set method, Journal of Systems Science and Complexity, 2012, 第 1 作者
（10） Attacking Bivium and Trivium with the Characteristic Set Method, Progress in Cryptology–AFRICACRYPT, 2011, 第 1 作者
（11） Rational solutions of ordinary difference equations, Journal of Symbolic Computation, 2008, 第 3 作者
发表著作
科研活动
参与会议
合作情况
项目协作单位
指导学生
已指导学生
丁林涛 硕士研究生 085211-计算机技术
现指导学生
孙迪 硕士研究生 085211-计算机技术
孙壮 硕士研究生 083900-网络空间安全
