Jacques Fortier
@jacquesgt
Firmware, operating systems, and security at billion device scale, but mostly pictures of my cat. @[email protected]
🔺New on Apple Security Research blog: a deeply comprehensive Private Cloud Compute security guide, and an unprecedented Virtual Research Environment allowing you to run production PCC software right on your Mac with Apple silicon. And up to a $1M bounty! security.apple.com/blog/pcc-secur…
🔺New on the Apple Security Research blog: introducing PQ3, a groundbreaking post-quantum cryptographic protocol for iMessage. To our knowledge, PQ3 has the strongest security properties of any at-scale messaging protocol in the world. security.apple.com/blog/imessage-…
🔺New on the Apple Security Research blog: a brief technical overview of iMessage Contact Key Verification! security.apple.com/blog/imessage-…
Embedded Swift -- a vision for a new compilation mode of Swift with first class support for embedded/low-level environments forums.swift.org/t/embedded-swi…
Today at WWDC we introduced a new static linker. It is a ground-up rewrite that’s up to 5x faster than ld64. The new linker is written with multicore in mind, and it’s the first production ready parallel linker officially supported for iOS development. (1/n)
🔺New on the Apple Security Research blog: we pit our hardened kalloc_type XNU allocator against SockPuppet, a powerful vulnerability from the past: security.apple.com/blog/what-if-w…
Fascinating keynote by Yeoul Na of @Apple at #euroLLVM 2023 on adding bounds checking for C in @llvmorg . Lots of real world practical engineering to make the technology feasible to adopt incrementally in huge legacy projects.