{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreia2mlae3uphmt3fdngilqygbsr6tdxqa2zfpqrdpxkc7qsphxboki",
    "uri": "at://did:plc:haakkg7y3xdghcdmprxeexso/app.bsky.feed.post/3mmk2pqrthh62"
  },
  "path": "/t/apple-security-research-a-blueprint-for-formal-verification-of-apple-corecrypto/38099#post_1",
  "publishedAt": "2026-05-23T16:33:04.000Z",
  "site": "https://discuss.privacyguides.net",
  "tags": [
    "A blueprint for formal verification of Apple corecrypto - Apple Security..."
  ],
  "textContent": "A blueprint for formal verification of Apple corecrypto - Apple Security...\n\n### A blueprint for formal verification of Apple corecrypto - Apple Security...\n\nWith the latest release of corecrypto, we’re publishing our implementations of quantum-secure ML-KEM and ML-DSA algorithms, along with the mathematical proofs we built to assure they are faithful to the FIPS 203 and FIPS 204 specifications. To...",
  "title": "Apple Security Research: A blueprint for formal verification of Apple corecrypto"
}