1 points, 0 comments on Hacker News

Source: [Hacker News](https://www.amazon.science/blog/formally-verified-aes-xts-the-first-aes-algorithm-to-join-s2n-bignum)

Sponsored