基本信息

孙瑶  男  博导  中国科学院信息工程研究所
电子邮件: 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周, 助教李婷.

专利与奖励


竞赛获奖

2021年全国高校密码数学挑战赛,特等奖。 

2020年CCF大数据与计算智能竞赛,单项赛题一等奖,竞赛最佳算法能力奖。 

2020年全国高校密码数学挑战赛,一等奖。 

首届LIP竞赛(CVPR2018 人物解析竞赛),冠军。 

2016年CCF大数据与计算智能大赛,单项赛题一等奖,竞赛综合特等奖。

出版信息


发表著作
(1) 符号计算选讲, 科学出版社, 2018-09, 第 1 作者
发表论文

[1] Sun Yao. Automatic search of cubes for attacking stream ciphers. IACR Transactions on Symmetric Cryptology (FSE2022), 2021.

[2] Huang Zhenyu, Sun Yao(*), Lin Dongdai. On the efficiency of solving Boolean polynomial systems with the characteristic set method. Journal of symbolic computation, 2021.

[3] Li Ting, Sun Yao(*). Preimage attacks on round-reduced Keccak-224/256 via an allocating approach. EUROCRYPT 2019, 2019.

[4] Li Ting, Sun Yao(*), Huang Zhenyu, Wang Dingkang, Lin Dongdai. Speeding up the GVW algorithm via a substituting method. Journal of Systems Science and Complexity, 2019.

[5] Bai Jian, Li Ting, Sun Yao(*), Wang Dingkang, Lin Dongdai. The lightest 4 x 4 MDS matrices over GL(4, F2). Science China-Information Sciences, 2018.

[6] Liu Si, Wei Zhen, Sun Yao(*), Ou Xinyu, Lin Junyu, Liu Bin, Yang Minghsuan. Composing semantic collage for image retargeting. IEEE TIP. 2018.

[7] Li Ting, Sun Yao(*), Liao Maodong, Wang Dingkang. Preimage attacks on the round-reduced Keccak with cross-linear structures. IACR Transactions on Symmetric Cryptology (FSE 2018), 2017.

[8] Sun Yao, Ren Lejian, Wei Zhen, Liu Bin, Zhai Yanlong, Liu Si. A weakly supervised method for makeup-invariant face verification. Pattern Recognition, 2017.

[9] Sun Yao, Huang Zhenyu, Lin Dongdai, Wang Dingkang. 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.

[10] Sun Yao, Huang Zhenyu, Wang Dingkang, Lin Dongdai. An improvement over the GVW algorithm for inhomogeneous polynomial systems. Finite Fields and Their Applications, 2016.

[11] Kapur Deepak, Sun Yao(*), Wang Dingkang. An efficient method for computing comprehensive Grobner system of a parametric polynomial system. Journal of Symbolic Computation, 2013.

[12] Yao Sun, Wang Dingkang. An efficient algorithm for factoring polynomials over algebraic extension field. Science China Mathematics, 2013.

[13] Kapur Deepak, Sun Yao(*), Wang Dingkang. An efficient method for computing comprehensive Grobner bases. Journal of Symbolic Computation, 2013.

[14] Sun Yao, Wang DingKang. A new proof for the correctness of the F5 algorithm. Science China-Mathematics, 2013. 

[15] Sun Yao, Wang Dingkang, Ma Xiaodong, Zhang Yang. A signature-based algorithm for computing Groebner bases in solvable polynomial algebras. ISSAC 2012. 

[16] Ma Xiaodong, Sun Yao(*), Wang Dingkang. Computing polynomial univariate representations of zero-dimensional ideals by Grobner basis. Science China-Mathematics, 2012.

[17] Sun Yao, Wang Dingkang. A generalized criterion for signature related Groebner basis algorithms. ISSAC 2011.

[18] Kapur Deepak, Sun Yao, Wang Dingkang. Computing comprehensive Groebner systems and comprehensive Groebner bases simultaneously. ISSAC 2011.

[19] Sun Yao, Wang Dingkang. The F5 algorithm in Buchberger's style. Journal of Systems Science and Complexity, 2011.

[20] Kapur Deepak, Sun Yao, Wang Dingkang. A new algorithm for computing comprehensive Groebner systems. ISSAC 2010.


指导学生

李婷, 博士, 方向: 密码杂凑函数分析

魏震, 硕士, 方向: 图像处理

杨润河, 博士, 方向: 密码相关

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

陈彦祺, 博士, 方向: 分组密码分析

常帅, 博士, 方向: 格算法

马子龙, 硕士, 方向: 多变量公钥密码

张敏, 博士, 方向: 高精度计算