Formally verified AES-XTS: The first AES algorithm to join s2n-bignum

2026-10-17来源 Hacker News NewEnglish

Article URL: https://www.amazon.science/blog/formally-verified-aes-xts-the-first-aes-algorithm-to-join-s2n-bignum

Comments URL: https://news.ycombinator.com/item?id=50129087

Points: 1

# Comments: 0

原文：https://www.a8q9.cn/en/article/formally-verified-aes-xts-the-first-aes-algorithm-to-join-s2n-bignum-876c5a.html

相关文章