叶涛 作品数:15 被引量:6 H指数:2 供职机构: 桂林电子科技大学 更多>> 发文基金: 国家自然科学基金 广西研究生教育创新计划 广西壮族自治区自然科学基金 更多>> 相关领域: 电子电信 自动化与计算机技术 更多>>
密码S盒评估方法 本发明公开了一种密码S盒评估新方法,引入S盒的局部线性关系分解以及局部二次关系分解概念,根据局部线性检测模块的输出和局部二次检测模块的输出对S盒进行评估,如果对于局部线性检测模块的输出C2中存储的数的和与相差较少,说明S... 韦永壮 赵颖 叶涛 史佳利 丁勇文献传递 一种易于乘法零检验的任意阶算术掩码方法及装置 本发明公开了一种易于乘法零检验的任意阶算术掩码方法及装置,该方法将算术掩码转换为乘法掩码的方法,实现了快速实现零检验。在此基础上,通过随机数复用的方法,减少了n个掩码方案中需要额外引入的随机数数量(n为算术掩码阶数),保... 曾志航 韦永壮 叶涛 欧雨一种基于RISC-V的SM3密码算法优化方法 本发明公开了一种基于RISC‑V的SM3密码算法优化方法,该方法基于RISC‑V密码学扩展指令中的sm3p0和sm3p1指令,用Verilog代码描述生成对应的逻辑电路,设计SM3指令功能单元,然后将其集成到开源RISC... 梁马杰 韦永壮 叶涛一种基于最小猜测基的密钥恢复方法 本发明公开了一种基于最小猜测基的密钥恢复方法,该方法用于密钥恢复阶段,根据密钥编排和猜测的密钥比特,加入新的等价关系构建更加完备的连接关系,有效补全对密钥编排的刻画;并设置新的初始约束,将最小猜测基中的元素限制在密钥恢复... 李灵琛 谯智 武小年 叶涛 韦永壮密码S盒评估新方法 本发明公开了一种密码S盒评估新方法,引入S盒的局部线性关系分解以及局部二次关系分解概念,根据局部线性检测模块的输出和局部二次检测模块的输出对S盒进行评估,如果对于局部线性检测模块的输出C2中存储的数的和与相差较少,说明S... 韦永壮 赵颖 叶涛 史佳利 丁勇文献传递 4 bit S盒输入及输出低次代数关系分析 2020年 随着4 bit S盒在轻量级密码算法中的广泛应用,如何捕获这些4 bit S盒输入及输出的代数关系成为了目前的研究热点之一。根据S盒的输入及输出关系,提出了n bit S盒的非线性回路代数关系的通用求解算法。针对4 bit S盒设计了高效的非线性回路代数关系求解算法,并对国际公认的16类最优4 bit S盒及多个著名的轻量级密码算法中的S盒进行了测试分析。同时,还对上述轻量级密码算法中S盒所属等价类进行了检测。研究结果表明:16类S盒代表元中只有3类不存在二次回路代数关系;同属等价类S盒可能会有不同的二次回路代数关系;MANTIS、PRIDE、Marvin等轻量级算法的S盒存在多个二次回路代数关系。即这些包含低次回路代数关系的S盒存在潜在的安全缺陷。 程月单 韦永壮 叶涛关键词:BIT S盒 KNOT认证加密算法的零和区分器分析 被引量:2 2021年 KNOT认证加密算法是国际轻量级密码算法征集竞赛活动第2轮入围的候选算法之一。该算法具有软硬件实现快、资源消耗低等特点,其安全性受到了全球广泛的关注。基于标志位技术,提出了密码S盒的新可分性模型构建方法。同时,利用KNOT-256的算法结构,构建了KNOT-256密码算法新的可分性的混合整数线性规划模型,并由此设计了该算法零和区分器的自动化新搜索方法。研究结果表明:KNOT-256置换存在30轮的零和区分器,尽管该区分器对KNOT认证加密算法(分组长度为256的版本的初始化轮数是52轮)的安全性没有造成实际的威胁,但得到的结果证实了新的零和区分器构造方法是有效的。 叶涛 叶涛 韦永壮关键词:分组密码 对称密码系统代数次数评估方法 本发明公开了一种对称密码系统代数次数评估新方法,利用对对称密码系统代数次数的迭代评估,扩展了一种新的对代数次数精确评估的优化算法。基于这个算法框架,提出一种寻找代数次数下界并且具体有效的算法。该算法不仅可以快速评估计算,... 韦永壮 史佳利 叶涛 武小年 张润莲文献传递 几类高强度密码S盒的安全性新分析 针对几类高强度密码S盒是否存在新的安全性漏洞问题,提出了一种求解S盒非线性不变函数的算法。该算法主要基于密码S盒输入和输出的代数关系来设计。利用该算法对这几类密码S盒进行测试,发现其中几类存在相同的非线性不变函数;此外,... 赵颖 叶涛 韦永壮关键词:S盒 ACE密码算法的积分分析 被引量:4 2021年 ACE是国际轻量级密码算法标准化征集竞赛第2轮候选算法之一。该算法具有结构简洁,软硬件实现快、适用于资源受限环境等特点,其安全性备受业界广泛关注。该文引入字传播轨迹新概念,构建了一个传播轨迹的描述模型,并给出一个可以自动化评估分组密码算法抵抗积分攻击能力的方法。基于ACE算法结构特点,将该自动化搜索方法应用于评估ACE算法的安全性。结果表明:ACE置换存在12步的积分区分器,需要的数据复杂度为2^(256),时间复杂度为2^(256)次12步的ACE置换运算,存储复杂度为8 Byte。相比于ACE算法设计者给出的积分区分器,该新区分器的步数提高了4步。 叶涛 韦永壮 李灵琛