[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"$fP9SX44f3K5SN1_qxeQwbY9tngj5gjAIy42N-wHFDHPs":3},{"article":4,"iocs":50,"watch_terms":51,"solutions":52,"lesson":34},{"id":5,"title":6,"slug":7,"summary":8,"ai_summary":9,"brief":10,"url":11,"image_url":12,"published_at":13,"ingested_at":14,"relevance_score":15,"entities":16,"category_id":32,"category":33,"article_tags":37},"91504807-7806-4117-ae8d-f647bb33eb9a","Apple open-sources quantum-resistant encryption code","apple-open-sources-quantum-resistant-encryption-code-9fbb61","The release includes implementations of two quantum-secure algorithms and demonstrates how formal verification caught bugs that traditional testing would have missed. The post Apple open-sources quantum-resistant encryption code appeared first on CyberScoop.","Apple has released its quantum-resistant cryptographic code, including implementations of ML-KEM and ML-DSA algorithms, and the formal verification tools used to prove the code's correctness. The release aims to promote broader use of quantum-resistant cryptography and enable independent review. Apple also disclosed that formal verification caught a bug in the ML-DSA code that traditional testing would have missed.","Apple open-sources quantum-resistant encryption code and verification tools.","https:\u002F\u002Fcyberscoop.com\u002Fapple-open-source-quantum-resistant-encryption\u002F","https:\u002F\u002Fcyberscoop.com\u002Fwp-content\u002Fuploads\u002Fsites\u002F3\u002F2025\u002F05\u002FGettyImages-1342200877.jpg","2026-05-26T19:40:26+00:00","2026-05-26T20:00:18.971458+00:00",8,[17,20,23,25,27,29],{"name":18,"type":19},"Apple","vendor",{"name":21,"type":22},"ML-KEM","product",{"name":24,"type":22},"ML-DSA",{"name":26,"type":22},"iMessage",{"name":28,"type":22},"corecrypto",{"name":30,"type":31},"TLS","technology","0493c7e9-989a-4692-b4e6-136f5ec09675",{"id":32,"icon":34,"name":35,"slug":36},null,"Cryptography","cryptography",[38,40,45],{"category":39},{"id":32,"icon":34,"name":35,"slug":36},{"category":41},{"id":42,"icon":34,"name":43,"slug":44},"80544778-fabb-4dcd-aa35-17492e5dcf4f","Vulnerabilities","vulnerabilities",{"category":46},{"id":47,"icon":34,"name":48,"slug":49},"ade75414-7914-4e23-a450-48b64546ee70","Open Source","open-source",[],[18,21,24],{"controls":53,"vendors":80},[54],{"slug":55,"name":56,"problem":57,"products":58},"encryption-key-management","Encryption and key management","Stolen data stays unreadable, and the keys stay under your control.",[59,67,75],{"vendor_slug":60,"vendor_name":61,"vendor_logo":62,"product_slug":63,"product_name":64,"url":65,"description":66},"utimaco","Utimaco","\u002Fvendor-logos\u002Futimaco.png","utimaco-hsm","Utimaco General Purpose HSM","https:\u002F\u002Futimaco.com\u002Fdata-protection\u002Fgp-hsm","Hardware security modules for key generation, storage and cryptographic operations.",{"vendor_slug":68,"vendor_name":69,"vendor_logo":70,"product_slug":71,"product_name":72,"url":73,"description":74},"thales","Thales","\u002Fvendor-logos\u002Fthales.png","ciphertrust","CipherTrust Data Security Platform","https:\u002F\u002Fcpl.thalesgroup.com\u002Fencryption\u002Fdata-security-platform","Data discovery, encryption and central key management across on-premises and cloud.",{"vendor_slug":68,"vendor_name":69,"vendor_logo":70,"product_slug":76,"product_name":77,"url":78,"description":79},"luna-hsm","Thales Luna HSM","https:\u002F\u002Fcpl.thalesgroup.com\u002Fencryption\u002Fhardware-security-modules","Hardware security modules for protecting cryptographic keys.",[81],{"slug":82,"name":18,"logo_path":83,"roles":84},"apple","\u002Fvendor-logos\u002Fapple.png",[85],"reported_by"]