DeepMind uses AlphaProof Code to formally verify Signal messaging security
Human-guided agents produced a Lean proof of libsignal’s PQXDH and Triple Ratchet, checked by the Lean kernel.
Stories per day · 30 days
8 RSS
Relatedcryptography19ml-kem12tls10ml-dsa5nist5hsm4iot4key-management4pqc4dtls3mceliece3appviewx2blockchain2certificate-management2classic-mceliece2cloudflare2crossweb-ex2cryptanalysis2
118 stories, newest first · one card per story
Stories tagged #post-quantum
Red Hat OpenShift 5 reaches general availability for hybrid clouds
The release adds Lightspeed agent troubleshooting, post-quantum control-plane cryptography and a five-year lifecycle.
Survey reviews post-quantum cryptography for industrial applications
Authors benchmark KEMs and signatures and discuss quantum resources needed to break common schemes.
Paper pairs ML-KEM and BGV for encrypted health-data processing
The authors select parameters and show feasibility with a proof-of-concept aimed at an embedded use case.
PQC-Corpus links post-quantum histories from 179 GitHub repositories
In samples, about seven in ten commits and two in three issues were labeled post-quantum related.
Pion makes DTLS 1.3 the default after a ten-month implementation
The library now does a one-round-trip handshake, post-quantum key exchange, Connection IDs, 0-RTT and Encrypted Client Hello.
Cloudflare outlines a post-quantum path for Privacy Pass
A quantum attacker could forge today’s Privacy Pass tokens, while token privacy is described as holding even after Q-day.
1
Sarajevo Cyber Security Summit 2026 focuses on supply chain resilience
The event will address supply chain risks, post-quantum cryptography, and AI-enabled threats for organizations in the Western Balkans.
1
Zirah post-quantum hardware signer uses avalanche noise RNG
Device draws entropy from diode avalanche breakdown to sign ML-DSA-65 files on STM32F401 with masking.
CISA Releases Post-Quantum Cryptography Vendor Guidance
Joint CISA guidance helps organizations assess vendor readiness for transitioning to post-quantum cryptography.
AMORT-V1 reduces post-quantum attestation costs for industrial controllers
Checkpointed protocol cuts signing and commitment overhead by up to 878 times versus per-report methods.
Post-quantum security proof for multi-output interactive hashing
The note gives a post-quantum security proof for multi-output interactive hashing with arbitrary relations.
Deterministic information loss yields TC0 post-quantum pseudorandomness from lattices
Learning with algebraic rounding achieves TC0 pseudorandomness from quantum worst-case lattice hardness with fixed polynomial parameters.
RecHash builds segmented hash-entangled chains for sequential authentication
A 256-bit digest, 32 pairs, and length 65535 yield 254 records plus a renewal certificate.
NIST publishes post-quantum cryptography transition guidance
NISTIR 8547 sets federal high-value key-establishment work for 2030 and signatures for 2031, with a 2035 overall target.
1
AppViewX offers Quantum Trust Hub as a standalone cryptography tool
The standalone product inventories certificates, TLS, keys and code, then opens ServiceNow tickets for remediation.
1
Google unveils Gemini 4 Carbon with leading cyber benchmarks
Access is limited to some cyber defenders under Fairwind, and Google says it resisted every tested indirect prompt injection.
1
NIST finalizes post-quantum cryptography migration guidance in NISTIR 8547
US high-value systems must move key establishment by 2030 and digital signatures by 2031; the broader federal target is 2035.
1
Fault attack recovers deterministic CSIDH and OSIDH-LD keys
A binary search over faulted lane masks needs at most 297 queries for OSIDH-LD and 222 for CSIDH-512-sized keys.
Niederreiter-style scheme uses masked convolutional codes
Authors claim security margins more than 2^200 above classical McEliece and Niederreiter estimates, with linear-time decryption.
NIST publishes guidance for federal post-quantum cryptography deadlines
High-value assets must use PQC for key establishment by December 31, 2030, and for signatures by December 31, 2031.
1
Sectigo survey finds TLS renewal confidence outruns automation
Of 500 leaders, 61% reported a certificate incident in the past year, while only 4% automate more than 90% of renewals.
Study compares Kyber, Dilithium and FALCON in simulated vehicle links
Rural V2V and urban V2X runs also include an ECDSA/ECDH baseline measured in the same setup.
Recurrent graph network lowers QC-MDPC decoding failures in McEliece
On 20 unseen matrix topologies, R-BGNN cut the decoding failure rate 63.7% at noise level t=10.