#自動化推論 のAIニュース

正式検証済みAES-XTS：s2n-bignumに初参加するAESアルゴリズム

Amazon Web Servicesの研究者チームが、暗号ライブラリs2n-bignumに正式検証済みのAES-XTS暗号化アルゴリズムを初めて追加した。アセンブリコードの簡素化により自動最適化と検証を実現している。