密码设计自动检测工具

来源 :2018中国密码学会密码测评学术会议 | 被引量 : 0次 | 上传用户:paleont
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
  In this talk, the survey of automatic cryptanalysis of symmetric ciphers will be given.The automatic search algorithms for differential, linear and division property for symmetric ciphers will be introduced, which include that MILP-based automatic search algorithms for differential and linear Trails for ARX ciphers, Stp-based automatic search for differential and linear Trails for large S-box ciphers, automatic search for division property.
其他文献
采用自由基溶液聚合的方法合成了具有高抗折弯性能的环氧基丙烯酸消光树脂.研究优化了消光树脂的环氧当量、设计玻璃化转变温度和催化剂用量,并通过加入长链可聚合改性单体提
通过氯硅烷水解、缩聚合成有机硅中间体,采用傅里叶虹外光谱(IR)表征了有机硅中间体的结构;以多元酸与多元醇为起始原料,采用有机硅中间体改性聚酯树脂,改善粉末涂料用有机硅
随机数发生器对密码系统和通信安全起着至关重要的作用.如果用于生成随机数的熵源无法像预期的那样提供足够多的随机性,那么密码应用很可能存在严重的安全风险.通常来说,人们
智能建筑以建筑为平台,基于对各类智能化信息的综合应用,集架构、系统、应用、管理及优化组合为一体,具有感知、传输、记忆、推理、判断和决策的综合智慧能力,形成以人、建筑
预处理是旁路攻击,特别是模板攻击,的重要的部分.典型预处理技术,如主成分分析(PCA)和奇异谱分析(SSA)等,它们的主要目的是降低噪声或从原始数据中提取有用的信息.但是典型预
传统的模板攻击一般选择一种中间数据的能量泄露模型实施攻击,为了提高攻击成功率,在攻击阶段需要采集大量的能量曲线进行模板匹配,通过计算猜测密钥对多条攻击能量曲线的联
本论文介绍了一种名为RTD(相对时间延迟)的片上硬件木马检测方法.RTD方法通过判断分布于芯片上的传感器链产生的相对延迟序列,即芯片识别码,是否变化检测硬件木马是否存在,并
椭圆曲线密码体制(ECC)已广泛应用于密码设备中,尽管它具备数学安全性,但仍易受到各种物理攻击的威胁.本文针对采用wNAF标量乘的ECDSA签名算法,提出了两种基于格的差分故障攻
  Connected cars or drones or smart homes are all examples of networked embedded devices that interact with their environment.The nodes in these systems requi
会议
  NXP has been and is successfully developing Security ICs for over 30 years now.NXP has become a market leader for high assurance security products like Secu
会议