/
汇编验证 关键字列表
AWS成功完成首个AES-XTS算法正式验证
亚马逊云科技团队成功完成AES-XTS加密算法的正式验证工作，这是首个加入s2n-bignum库的AES算法。该团队使用HOL Light定理证明器对优化的Arm64汇编实现进行数学验证，确保算法在处理16字节到16MB可变长度数据时的正确性。通过5倍循环展开优化和形式化验证，在保证安全性的同时实现了性能提升，为更多AES算法的验证铺平道路。
白皮书
京公网安备 11010802021500号
