EasyBC 全自动分析工具平台

授权协议：None操作系统：None 开发语言：None

该存储库用于解析分组加密算法的输入[EasyDC]程序，然后根据差分密码分析对分组加密算法进行安全分析。它支持以下功能： EasyBC 的解释器。基于 SMT 的方法，用于确定各种密码操作的分...