I have rarely seen someone that confidently wrong.
Pierre H.
- 1.4K Followers
- 154 Following
- 2.7K Posts
present: security, memory-safety wizard, Memory Integrity Enforcement | past: GCD, synchro, objc_direct, perf… | timeless: 🇫🇷 snark
Frédéric Jacobs🆕 A blueprint for formal verification of Apple corecrypto
Learn more about the formal verification methods used for ensuring the mathematical correctness of corecrypto's post-quantum ML-KEM and ML-DSA implementations.
We are also releasing our Isabelle libraries, ARM64 model, and Cryptol-to-Isabelle translator!
https://security.apple.com/blog/formal-verification-corecrypto/
Infrogmation
sjvn
A cool post from my colleagues who are actually good at math https://security.apple.com/blog/formal-verification-corecrypto/
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 the FIPS 203 and FIPS 204 specifications. To advance the state of the art for assuring critical software, we're also publishing the formal verification libraries and tools that we created to achieve the strongest known correctness results for any widely-deployed production implementation of the relevant algorithms.
kamstrupVery cool slides from FuzzingLabs (https://fuzzinglabs.com/wp-content/uploads/2026/05/Navigating_iOS_MTE_Landscape.pdf)
Quite in depth and very accurate!
How to make all your friends around the Mediterranean Sea mad at you in one sentence. https://gts.sharitt.com/@bridget/statuses/01KRYFZQHPJK09YTPT1HCRZHG2
Bridget (@[email protected])
Peanut butter is a type of hummus that is made with peanuts instead of chickpeas
AkaSci 🛰️"Raising the Flag" by Pulitzer Prize-winning editorial cartoonist Nick Anderson.
"There’s a particular kind of decision that doesn’t just change the law. It rewrites the story we tell ourselves about the country. The Supreme Court’s latest ruling on the Voting Rights Act is one of those decisions.
The court’s conservative majority didn’t simply narrow a statute. It made a far more sweeping claim: that the conditions that justified the law no longer exist."
https://nickanderson.substack.com/p/raising-the-flag
#UsPol
1/n
disregard Joe GroffTo complete your account signup, you must agree to the website terms and conditions:
