Skip to content
Research
Applications
Programming & Algorithms
Testbeds
Devices
Materials
Events
Partners
News
Resources
Educational Opportunities
Careers and Training
About
Contact
Research
Applications
Programming & Algorithms
Testbeds
Devices
Materials
Events
Partners
News
Resources
Educational Opportunities
Careers and Training
About
Contact
Research
Applications
Programming & Algorithms
Testbeds
Devices
Materials
Events
Partners
News
Resources
Educational Opportunities
Careers and Training
About
Contact
Press Release
Research & Member Highlights
Close Research & Member Highlights
Open Research & Member Highlights
Applications
Algorithms
Testbeds
Devices
Materials
Partners
Close Partners
Open Partners
Amazon
Microsoft
IBM
Micron
Ionq
Boeing
Category:
Amazon Science
24 minutes ago
Formally verified AES-XTS: The first AES algorithm to join s2n-bignum
Formally verified AES-XTS: The first AES algorithm to