Sponsor of the Day:
Jerkmate
https://www.galois.com/articles/verifying-s2n-hmac-with-saw
Galois - Part one: Verifying s2n HMAC with SAW
part onegaloisverifyings2nhmac
https://www.amazon.science/blog/formally-verified-aes-xts-the-first-aes-algorithm-to-join-s2n-bignum
Formally verified AES-XTS: The first AES algorithm to join s2n-bignum - Amazon Science
Apr 24, 2026 - Cleaning up complex assembly code enabled automated optimization and mathematical verification of AWS's storage encryption algorithm.
formally verifiedamazon scienceaesxtsfirst
https://www.s2ngroup.com/
S2N : Home
S2N brings technology, engineering and construction experts together to deliver the modern building technology experience.
s2n
https://www.s2nsports.com/
S2N Sporting Goods
S2N Sporting Goods - Where quality is Second to None. Specializing in custom baseball gloves, custom softball gloves, custom batting gloves, and more.
sporting goodss2n