![](https://img-blog.csdnimg.cn/20201014180756913.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
安全
文章平均质量分 94
会打代码的扫地王大爷
微博(不一定是技术) http://weibo.com/1505236542
个人博客: csuncle.com
展开
-
梅森旋转算法安全性分析及改进
梅森旋转算法安全性分析及改进王立敏1,丁洁21中国科学院信息工程研究所 第五实验室 北京 中国1000932中国科学院信息工程研究所 第五实验室 北京 中国100093摘要梅森旋转算法是目前最流行的伪随机数发生器算法之一。梅森旋转算法存在许多缺点,例如当生成的伪随机数数量庞大时可预测以及无法通过部分统计测试。为了更好地深入了解和分析梅森旋转算法的安全性,本文将使用NIST800-2...原创 2018-10-17 14:45:20 · 3150 阅读 · 3 评论 -
形式化验证调研报告
形式化验证调研报告 王立敏 中国科学院信息工程研究所 第五实验室 北京 中国100093摘要2018年初,Spectre和Meltdown漏洞的发现,使得芯片安全备受重视。然而传统的基于仿真的芯片验证方法由于测试样例覆盖不完全,验证过程耗时巨大,逐渐适应不了日益复杂的芯片了。形式化方法作为一种静态验证方法,正好可以解决这些问题。本文主要梳理了当前形式化方法检测的常见方法,并且列出他们的优...原创 2018-10-17 14:56:24 · 4674 阅读 · 0 评论 -
基于无保护AES芯片的 CPA攻击
基于无保护AES芯片的 CPA攻击王立敏1,丁洁2 1中国科学院信息工程研究所 第五实验室 北京 中国 1000932 中国科学院信息工程研究所 第五实验室 北京 中国 100093摘要 高级加密标准(Advanced Encryption Standard,AES)是最常用的加密算法之一。为了提升实际应用中加解密操作的速度,或者在小型芯片上完成加密工作,AES通常被集成在加密芯片中。...原创 2018-10-17 15:22:37 · 3720 阅读 · 3 评论