Apple has published a blueprint for formally verifying its CoreCrypto library, a foundational cryptographic component used across its platforms. The approach aims to mathematically prove the correctness of critical cryptographic operations.
Apple's security team detailed a verification methodology designed to ensure CoreCrypto's cryptographic functions behave as intended. The blueprint covers techniques for proving code correctness at the mathematical level, reducing the attack surface in a library handling sensitive operations across iOS, macOS, and other systems.
Formal verification uses mathematical proofs rather than traditional testing to validate software behavior. For cryptographic libraries, this approach can catch subtle flaws that conventional audits might miss.
Apple's framework addresses practical challenges in applying formal verification to real-world crypto code, including performance considerations and integration with existing systems. The company is sharing the methodology to advance security standards across the industry.
The initiative reflects growing emphasis on provable security in critical infrastructure. CoreCrypto's widespread deployment makes it a high-value target for verification efforts, potentially raising the bar for cryptographic software assurance industry-wide.
Anthropic has signed out some Claude users and removed saved payment methods after infostealer malware on their computers hijacked active sessions to drain API usage credits. The company is issuing refunds for unauthorized charges.
Former NYC Traffic Commissioner Sam Schwartz warns that autonomous vehicle expansion creates significant cybersecurity risks, including the potential for bad actors to seize control of connected cars and weaponize them.
More than a decade of Steam files, including beta builds and finished games from Valve and third-party developers, have been exposed in a major data leak totaling over 12 terabytes.
A new vulnerability called Omarchy allows any user-level process to gain root privileges through privilege escalation. The flaw has sparked significant discussion in security circles.