Apple

美國科技巨頭，設計並開發 iPhone、Mac、iOS、macOS 等消費型與企業級產品，旗下安全工程與架構研究（SEAR）團隊負責平台安全。

重要事件

• 2026年5月：SEAR 團隊發布後量子密碼學程式庫 corecrypto（開源），內建 ML-KEM（FIPS 203）與 ML-DSA（FIPS 204），並推出形式驗證工具鏈（Isabelle、SAW、Cryptol）；已部署於 iMessage、VPN、TLS 網路連線

相關概念

• 蘋果corecrypto後量子密碼學程式庫與形式驗證工具發布 — 後量子密碼學程式庫與形式驗證工具

相關文章

• ithome-2026-05-27-apple-corecrypto-pqc-formal-verification-176143 — iThome 報導