41554 blogs · 4,417,066 posts Claim your blog

Record · corpus.blog/posts/01a07df5-1464-709f-8d9f-7044e5b6fcef

A blueprint for formal verification of Apple corecrypto

Apple Security Research · published 22 May 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at security.apple.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 7
Words captured: 3,237

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

iMessage with PQ3: The new state of the art in quantum-secure messaging at scale Read at the source ↗

security.apple.com

https://support.apple.com/guide/security/quantum-secure-cryptography-apple-devices-secc7c82e533/1/web

support.apple.com

https://developer.apple.com/documentation/cryptokit/enhancing-your-app-s-privacy-and-security-with-quantum-secure-workflows

developer.apple.com

https://github.com/apple/corecrypto/blob/2026-05/corecrypto_verify/technical_overview/formal-verification-for-apple-corecrypto.md

github.com

https://github.com/GaloisInc/saw-script/releases/tag/v1.5.1

github.com

https://github.com/apple/corecrypto/tree/2026-05/corecrypto_verify/isabelle/Apple_Isabelle_Libraries

github.com

https://github.com/apple/corecrypto

github.com