Tech

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

Hacker News (Newest) By ankitg12 Oct 17, 2026 · 3:31 AM 6 views 0 comments

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

Hacker News (Newest) Original story · www.amazon.science

How does this story make you feel?

Discussion (0)

No comments yet. Start the conversation!