Linux EasyRocky Linux 10.2 introduce crittografia post‑quantum, nuovi strumenti per installazione e gestione, aggiornamenti dei componenti e miglioramenti per utenti Linux.
#RockyLinux #PostQuantum #LinuxSecurity #OpenSource #SysadminLife
VeilusDigitalPublic beta is open for Phantom Chat — iOS messenger I've been building solo from Western Australia.
The technical bit: every conversation uses a Signal Protocol Double Ratchet hybridised with NIST FIPS 203 ML-KEM-768 (Kyber). If either Curve25519 or the PQ KEM holds after a future quantum computer arrives, your message history stays sealed.
No phone, no email, no public directory. Invite-codes only.
Thomas Bosboom ✅Apple published a detailed write-up on formal verification in corecrypto, including their ML-KEM and ML-DSA implementations for post-quantum cryptography.
This goes to the next level, beyond “we tested this carefully” to “we proved key parts equivalent to the FIPS specs, including optimized C and ARM64 assembly paths.”
This crypto library ships across billions of devices. This is the difficult, expensive assurance work that makes platform security real. https://security.apple.com/blog/formal-verification-corecrypto/ #AppleSecurity #Cryptography #PostQuantum #InfoSec
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.
CosicBeSharing is caring: the recordings of the #PQCSA workshop on Post-Quantum Cryptographic Protocols (#Eurocrypt 2026 affiliated event in Rome) are now freely available on our YouTube channel!
https://www.youtube.com/playlist?list=PLiHaXFHjrqYcfzQ4QLj7kNaADf5u5Awvs
#postquantum #quantum
https://www.youtube.com/playlist?list=PLiHaXFHjrqYcfzQ4QLj7kNaADf5u5Awvs
#postquantum #quantum
PQCSA workshop on Post-Quantum Cryptographic Protocols (Rome, 9th May 2026)
Neustradamus :xmpp: :linux:#strongSwan 6.0.6 has been released ( #IPsec / #VPN / #IKE / #IKEv1 / #IKEv2 / #PostQuantumIKEv2 / #PostQuantumEncryption / #PostQuantum / #X509 / #FreeSWAN ) https://strongswan.org/
Global FeedQuantum Resistant Ledger (QRL) – neuer Überblick:
• CoinMarketCap liefert Live‑Kurs, Chart & Marktkapitalisierung.
• QRL bleibt eines der wenigen Projekte, das post‑quantum Sicherheit adressiert – ein wichtiger Unterschied zu klassischen Tokens.
Davi OttenheimerNIST Announces Third Round #PostQuantum Signatures https://www.flyingpenguin.com/nist-announces-third-round-post-quantum-signatures/
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/
eShardIf your team is preparing for post-quantum migration, now is the right time to look beyond the algorithm and evaluate the implementation.
https://www.eshard.com/blog/webinar-post-quantum-implementations-physical-attacks
Just a happy #postquantum note: ML-DSA has landed. 🎉
And also that Cloudflare is flapping their dirty underpants in the breeze 💩
"ML-DSA is Final. Stop Signing Classical."
