AWS成功完成首个AES-XTS算法正式验证

亚马逊云科技团队成功完成AES-XTS加密算法的正式验证工作，这是首个加入s2n-bignum库的AES算法。该团队使用HOL Light定理证明器对优化的Arm64汇编实现进行数学验证，确保算法在处理16字节到16MB...