Ivan Krstić

@radian

Head of Security Engineering+Architecture (SEAR) at Apple. I don’t speak for my employer.

San Francisco, CA

Joined March 2011

Replies Reposts Media

Ivan Krstić
@radian
Jun 8
🔺NEW: Apple is expanding Private Cloud Compute (PCC) beyond our data centers. PCC on Google Cloud: NVIDIA Confidential Computing, Intel TDX, and Google's Titan chip, with capabilities that go far beyond a traditional confidential computing deployment.
security.apple.com
Expanding Private Cloud Compute - Apple Security Research
Alongside the next generation of Apple Intelligence, today we’re expanding Private Cloud Compute (PCC) beyond Apple’s data centers. When Apple introduced Private Cloud Compute in 2024, we defined a...
10
Ivan Krstić
@radian
May 22
🔺NEW: Formally verified post-quantum ML-KEM and ML-DSA in corecrypto, with correctness proven from the FIPS spec down to hand-optimized ARM64 assembly — a world first at multi-billion device scale. And we're releasing our Isabelle libraries, ARM64 model, and Cryptol-to-Isabelle
security.apple.com
A blueprint for formal verification of Apple corecrypto - Apple Security Research
With 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...
10
Ivan Krstić
@radian
Feb 26
🔺NEW: iPhone and iPad are now the first and only generally-available devices to meet the exacting security requirements for handling classified NATO information.
iPhone and iPad approved to handle classified NATO information
From apple.com
18
Ivan Krstić
@radian
Jan 22
🔺New security-focused developer event on March 5 at Apple Park: featuring sessions on Memory Integrity Enforcement, new tools in Enhanced Security in Xcode, Apple’s defensive security engineering approach, Swift adoption in security-sensitive code, and how to apply all these
Meet with Apple - Apple Developer
From developer.apple.com
3
Ivan Krstić
@radian
Dec 19, 2025
🔺This is the first talk I've given in 6 years – featuring formal verification of post-quantum cryptography, the evolution of the Secure Page Table Monitor, a view into Memory Integrity Enforcement, updates to Apple Security Bounty… and a personal note.
Hexacon
@hexacon_fr
Dec 19, 2025
The collection is complete! 🎬 We just uploaded @radian's keynote to our YouTube channel youtube.com/watch?v=Du8BbJ…
4