基本信息

孙瑶  男  博导  中国科学院信息工程研究所
电子邮件: sunyao@iie.ac.cn
通信地址: 北京市海淀区杏石口路65号

研究领域

密码哈希函数分析

代数方程组求解算法研究

符号计算

强化学习

招生信息

欢迎具有良好的编程能力并且数学基础好的学生报考


招生专业
083900-网络空间安全
招生方向
密码理论与技术
高性能并行算法技术

教育背景

2005-09--2010-06   中国科学院数学与系统科学研究院   理学博士
2001-09--2005-07   北京科技大学   理学学士
学位

理学博士学位

工作经历


工作简历
2019-10~现在, 中国科学院信息工程研究所, 研究员
2013-10~2019-10,中国科学院信息工程研究所, 副研究员
2012-03~2013-10,中国科学院信息工程研究所, 助理研究员
2010-06~2012-03,中国科学院数学与系统科学研究院, 博士后

教授课程

   
密码杂凑函数分析

密码杂凑函数分析(201M6017H), 20学时, 春季学期, 5-14周, 助教李婷.

出版信息


发表论文
(1) Preimage Attacks on Round-reduced Keccak-224/256 via an Allocating Approach, Eurocrypt, 2019, 通讯作者
(2) Speeding Up the GVW Algorithm via a Substituting Method, Journal of Systems Science and Complexity, 2019, 通讯作者
(3) Preimage Attacks on the Round-reduced Keccak with Cross-linear Structures, International Conference on Fast Software Encryption, 2018, 通讯作者
(4) The Lightest 4x4 MDS Matrices over GL(4; F2), SCIENCE CHINA Information Sciences, 2018, 通讯作者
(5) Cross-domain Human Parsing via Adversarial Feature and Label Adaptation, AAAI Conference on Artificial Intelligence, 2018, 通讯作者
(6) Composing Semantic Collage for Image Retargeting, IEEE Transactions on Image Processing, 2018, 通讯作者
(7) A weakly supervised method for makeup-invariant face verification, Pattern Recognition, 2017, 第 1 作者
(8) Learning Adaptive Receptive Fields for Deep Image Parsing Network, Computer Vision and Pattern Recognition, 2017, 通讯作者
(9) Surveillance Video Parsing with Single Frame Supervision, Computer Vision and Pattern Recognition, 2017, 通讯作者
(10) Face Aging with Contextual Generative Adversarial Nets, ACM MULTIMEDIA, 2017, 通讯作者
(11) An improvement over the GVW algorithm for inhomogeneous polynomial systems, Finite Fields and Their Applications, 2016, 第 1 作者
(12) 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, 第 1 作者
(13) An efficient algorithm for factoring polynomials over algebraic extension field, Science in China, Series A: Mathematics, 2013, 第 1 作者
(14) A new proof for the correctness of F5 algorithm, Science in China, Series A: Mathematics, 2013, 第 1 作者
(15) An efficient method for computing comprehensive Grobner system of a parametric polynomial system, Journal of Symbolic Computation, 2013, 通讯作者
(16) An efficient method for computing comprehensive Grobner bases, Journal of Symbolic Computation, 2013, 通讯作者
(17) Computing polynomial univariate representations of zero-dimensional ideals by Grobner basis, Science in China, Series A: Mathematics, 2012, 通讯作者
(18) The F5 algorithm in Buchberger style, J Syst Sci Complex, 2011, 第 1 作者
发表著作
(1) 符号计算选讲, 科学出版社, 2018-09, 第 1 作者

指导学生

李婷, 博士, 方向: 密码学, Groebner基算法研究, 杂凑函数分析

魏震, 硕士, 方向: 图像处理, 人脸像素解析 

杨润河, 博士, 方向: 密码学, 几何定理证明 

蔡晓帆, 硕士, 方向: 强化学习 

王凯(客座), 硕士, 方向: 图像处理 

张宁(客座), 硕士, 方向: 图像处理