形式化验证的 AES-XTS：首个加入 s2n-bignum 的 AES 算法
Amazon Science
，亚马逊以客户为中心的科学方法。获取 AI 与机器学习创新的最新动态，包括职位、论文、会议与活动等。
关注
添加评论
点赞
收藏
点踩
分享
查看原文
评论
?
参与讨论
点赞
收藏
点踩
分享