格基约化算法

多变量公钥密码

密码哈希函数

代数方程组求解算法

强化学习

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

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周, 助教李婷.

2023年​吴文俊计算机数学青年学者奖。

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

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

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

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

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

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

（1） 符号计算选讲, 科学出版社, 2018-09, 第 1 作者

[1] Li Ting, Sun Yao(*). SuperBall: a new approach for MILP modelings of Boolean functions . IACR Transactions on Symmetric Cryptology (FSE2023), 2022.

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

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

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

[5] 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.

[6] 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.

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

[8] 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.

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

[10] 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.

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

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

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

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

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

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

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

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

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

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

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

李婷, 博士, 方向: 密码杂凑函数分析/多变量公钥密码分析

魏震, 硕士, 方向: 图像语义分割

杨润河, 博士, 方向: 密码算法智能分析

蔡晓帆, 硕士, 方向: 强化学习/GPU高性能并行计算

陈彦祺, 博士, 方向: 强化学习/序列密码分析

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

马子龙, 硕士, 方向: RC4算法分析

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

石晋, 博士, 方向: 高性能算法设计与实现