Apple says testing missed flaws in new encryption designed to protect against future attacks from quantum computers, so it turned to mathematical proofs to make sure the code works correctly before wider rollout. Apple services my be transitioning to post-quantum cryptography. New research and source code published May 22 detail how Apple verified parts of its post-quantum cryptography stack. The research argues conventional software testing is good, but no longer provides sufficient guarantees