叶涛
- 作品数：30 被引量：6H指数：2
- 供职机构：桂林电子科技大学更多>>
- 发文基金：国家自然科学基金广西研究生教育创新计划广西壮族自治区自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信经济管理更多>>
- 密码S盒评估方法
- 本发明公开了一种密码S盒评估新方法，引入S盒的局部线性关系分解以及局部二次关系分解概念，根据局部线性检测模块的输出和局部二次检测模块的输出对S盒进行评估，如果对于局部线性检测模块的输出C2中存储的数的和与相差较少，说明S...
- 韦永壮赵颖叶涛史佳利丁勇
- 文献传递
- 一种易于乘法零检验的任意阶算术掩码方法及装置
- 本发明公开了一种易于乘法零检验的任意阶算术掩码方法及装置，该方法将算术掩码转换为乘法掩码的方法，实现了快速实现零检验。在此基础上，通过随机数复用的方法，减少了n个掩码方案中需要额外引入的随机数数量（n为算术掩码阶数），保...
- 曾志航韦永壮叶涛欧雨
- 一种基于求解器确定Trivium算法超级多项式的方法及设备
- 本发明涉及信息安全属于计算机领域，具体是指一种基于求解器确定Trivium算法超级多项式的方法及设备，该方法包括如下步骤，S1:检测标志位与密钥单项式集合之间的映射关系，S2：利用局部子函数重构目标主函数的基本思想，结合...
- 韦永壮 朱程辉叶涛 李灵琛武小年
- 一种基于RISC-V的SM3密码算法优化方法
- 本发明公开了一种基于RISC‑V的SM3密码算法优化方法，该方法基于RISC‑V密码学扩展指令中的sm3p0和sm3p1指令，用Verilog代码描述生成对应的逻辑电路，设计SM3指令功能单元，然后将其集成到开源RISC...
- 梁马杰韦永壮叶涛
- 全轮超轻量级分组密码PFP的相关密钥差分分析
- 2025年
- 2017年,PFP作为一种超轻量级分组密码被提出,而因其卓越的实现性能备受业界广泛关注。该算法不仅硬件开销需求低(仅需约1355 GE(等效门))、功耗小,而且加解密速度快(其速度甚至比国际著名算法PRESENT的实现速度快1.5倍),非常适合在物联网环境中使用。在PFP算法的设计文档中,作者声称该算法具有足够的能力抵御差分攻击、线性攻击及不可能差分攻击等多种密码攻击方法。然而该算法是否存在未知的安全漏洞是目前研究的难点。该文基于可满足性模理论(SMT),结合PFP算法轮函数特点,构建两种区分器自动化搜索模型。实验测试结果表明:该算法在32轮加密中存在概率为2^(–62)的相关密钥差分特征。由此,该文提出一种针对全轮PFP算法的相关密钥恢复攻击,即只需2^(63)个选择明文和2^(48)次全轮加密便可破译出80 bit的主密钥。这说明该算法无法抵抗相关密钥差分攻击。
- 严智广韦永壮叶涛
- 关键词：差分密码分析
- 一种基于最小猜测基的密钥恢复方法
- 本发明公开了一种基于最小猜测基的密钥恢复方法，该方法用于密钥恢复阶段，根据密钥编排和猜测的密钥比特，加入新的等价关系构建更加完备的连接关系，有效补全对密钥编排的刻画；并设置新的初始约束，将最小猜测基中的元素限制在密钥恢复...
- 李灵琛谯智武小年叶涛韦永壮
- 认证加密算法TinyJAMBU的单密钥比特泄露检测方法
- 2025年
- 针对认证加密算法TinyJAMBU的密钥泄露检测问题,基于可分性质的混合整数线性规划(MILP)构建了立方分析模型,并提出一种缩减轮TinyJAMBU的单密钥比特泄露检测方法。该方法运用不等式方程组刻画了密码算法中基本操作的可分性质模型,并由MILP工具求解及检测密钥泄露情况。测试结果表明:在立方变元取自随机数的第0位至第63位间,仍能快速检测出缩减TinyJAMBU 345加密轮内的单密钥泄露情况;所需的时间复杂度为2^(9)加密运算次数;数据复杂度为2^(9)选择数据量。与已有攻击方法相比较,该方法在适用性及实现复杂度方面均有明显优势。
- 朱程辉叶涛韦永壮
- 关键词：流密码
- 一种物流水果运输箱
- 本发明属于物流运输器械领域，旨在解决水果运输过程中的诸多问题。传统水果运输箱忽视环境因素，导致水果因温湿度不适易变质腐烂，且受灰尘污染，化学保鲜手段存安全隐患，缺乏有效空气净化和水分调节机制。本发明设计的物流水果运输箱包...
- 黄月华刘文芬韦永壮叶涛郭影陈文李松
- 密码S盒评估新方法
- 本发明公开了一种密码S盒评估新方法，引入S盒的局部线性关系分解以及局部二次关系分解概念，根据局部线性检测模块的输出和局部二次检测模块的输出对S盒进行评估，如果对于局部线性检测模块的输出C2中存储的数的和与相差较少，说明S...
- 韦永壮赵颖叶涛史佳利丁勇
- 文献传递
- 基于MILP的最优不可能Boomerang攻击搜索方法
- 本发明公开了基于MILP的最优不可能Boomerang攻击搜索方法，该方法针对4比特s盒的分组码算法，对其线性与非线性组件构建比特级差分传播约束刻画，以BCT表中矛盾点为判定方法，可搜索到同轮数下多条不同矛盾点的不可能B...
- 李灵琛王毅叶海涵韦永壮叶涛
