该存储库用于解析分组加密算法的输入[EasyDC]程序，然后根据差分密码分析对分组加密算法进行安全分析。它支持以下功能：
- EasyBC 的解释器。
- 基于 SMT 的方法，用于确定各种密码操作的分支数。
- S-box 中的差分传播建模。
- 基于 MaxSMT 的方法，用于确定给定 S-box 的差分分布表 (DDT) 中所有概率的编码。
- 针对差分密码分析对 EasyBC 中编写的分组加密算法进行安全分析。
EasyBC 正在参加 2021 年度 OSC 中国开源项目评选，请投票支持！
EasyBC 在 2021 年度 OSC 中国开源项目评选 中已获得 {{ projectVoteCount }} 票，请投票支持！
2021 年度 OSC 中国开源项目评选 正在火热进行中，快来投票支持你喜欢的开源项目！
2021 年度 OSC 中国开源项目评选 >>> 中场回顾
EasyBC 获得 2021 年度 OSC 中国开源项目评选「最佳人气项目」 !
-
概览
-
资讯
-
博客
-
问答
-
安全信息
软件简介
代码
发表了资讯
2023/11/18 12:31
中国科学院软件研究所可信智能系统研究团队在分组加密算法的差分密码分析方面取得进展。该工作设计了一个面向分组加密算法的领域编程语言 EasyBC，在此基础上提出了通用、可扩展的差分密码分析方法，研制了全自动分析工具平台EasyBC （如图1）。 该研究成果以_EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis_为题被编程语言国际顶级会议POPL 2024录用，...
没有更多内容
加载失败，请刷新页面
{{o.pubDate | formatDate}}
没有更多内容
暂无内容
{{o.pubDate | formatDate}}
没有更多内容
暂无内容
暂无内容
Awesome 软件
公众号
视频号
问题反馈
深圳市奥思网络科技有限公司版权所有
粤ICP备12009483号
评论