AI RESEARCH
Formally verified AES-XTS: The first AES algorithm to join s2n-bignum
Amazon Science
•
Simplifying and clarifying the assembly code for core operations enabled automated optimization and verification.