Josh Baron retweeted
The chances of being killed by a landmine delivered by a bear are low, but they are never zero.
Josh Baron retweeted
A couple of folks have pointed out a claimed asymptotically subexponential algorithm for ECDLP today. This is based on the ETH results and is very clever. But has zero practical implications whatsoever.
Josh Baron retweeted
[Revised] A gentle introduction to lattice-based cryptography (Alfred Menezes) ia.cr/2026/1098
Josh Baron retweeted
NIST has published the final version of IR 8547, its plan for retiring quantum-vulnerable public-key cryptography. RSA and elliptic-curve algorithms at every approved key size are now deprecated after 2030 and disallowed after 2035.
What changed from the 2024 draft:
- P-256, RSA-3072 and Ed25519 had no deprecation step. Now they're deprecated from January 1, 2031, like RSA-2048, and disallowed after 2035.
- A deprecated algorithm can still be used, but its owner has to examine the risk and decide. I expect auditors to ask for that decision system by system.
- A hybrid with at least one approved input, such as ML-KEM, can be FIPS 140-validated even after its classical half is disallowed.
- HQC is the alternative KEM and ML-KEM-768 the default parameter set. NIST says it will monitor developments and adjust its transition efforts as appropriate.
What NIST left open:
- Key exchange and signatures get the same dates. NIST itself says harvest now, decrypt later makes key exchange more urgent.
- In Section 3.1.2, NIST still lets authentication systems wait for a CRQC. Under Table 2, the same algorithms are disallowed after 2035 regardless.
- Contracts, registries and archives whose signatures must stay verifiable for decades get no guidance.
My full analysis: postquantum.com/security-pqc…
I cover the US requirements behind these dates in PQC Compliance: United States, a course I teach at Quantum Academy: quantumacademy.com/courses/p…
#PQC #PostQuantum #NIST #Cryptography #Cybersecurity #CISO #PKI #TLS
Imagine me telling you last year that GoAhead and eMudhra were using the same private key, with no further information. All sorts of scenarios might spin in your head, but never in a million years would you guess the real one.
Announcing 3 Critical vulns for hundreds of millions of IoT, Firewalls, OT, and Military devices including: Palo Alto Networks, Comcast, D-Link, HP, Canon, Honeywell, GE, Oracle, Siemens, Rockwell, Digi, Lockheed Martin, Boeing...
The vulns are with GoAhead Web Server which is a backend library used by these devices. There's a patch available from GoAhead but that doesn't mean there's a patch available for the devices yet -- that's up to the manufacturer.
- TLS traffic over DHE ciphers have a 1-byte secret, "04", meaning anyone can decrypt connections to these devices and steal login credentials and session tokens if the client negotiated with DHE ciphers like the latest TLS_DHE_RSA_WITH_CHACHA20_POLY1305_SHA256, which is extremely likely.
- LibreSSL mTLS has been completely bypassed, meaning anyone can connect over mTLS. If you have one of these devices listening on the internet and are expecting mTLS to protect it from attackers, take it offline or patch asap.
- OpenSSL Certificate Revocation Lists (CRLs) are not enforced, meaning if a user device is stolen or compromised, and you revoke that mTLS cert, nothing actually happens. There are a lot of other attacks this can be used for.
These are critical because these types of devices run our world. Water systems, electricity, military, firewalls, critical infrastructure.
foxio.io/blog/choose-your-ba…
Josh Baron retweeted
NIST’s new PQC migration guidelines can help organizations transition to post-quantum cryptography standards. This report outlines the timelines and activities for federal agencies and serves as a resource for organizations navigating the transition.
🔗 nist.gov/news-events/news/20…

ALT A digital illustration shows a transition from old encryption standards to new encryption standards. On the left, an outdated server is connected to symbols and codes. In the center, a large, futuristic quantum computer is depicted. On the right, a shield represents the new encryption standards, with symbols indicating modern data security. The background features a binary code theme.
This is so cool - classification of all finite simple groups has been formally verified for the first time.
Josh Baron retweeted
The largest math proof in human history is now computer-verified.
Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry."
About 15,000 pages, built by over 100 mathematicians across generations.
Josh Baron retweeted
Regarding the Exponential-Time Hypothesis, this is what I wrote a decade ago!
cacm.acm.org/opinion/the-mor…
Josh Baron retweeted
Replying to @DARPA
@DARPA Young Faculty Award call is out!
darpa.mil/work-with-us/commu…
Josh Baron retweeted
Some stats on #php2shell. In the 10 hours before it was publicly announced, across the @Cloudflare network we saw thousands of attempts to exploit it. That jumped to tens of thousands in the 45 minutes post announcement, hundreds of thousands within 2 hours, and millions now.
Josh Baron retweeted
Chemistry, quantum materials, nuclear matter, linear algebra: DOE's eight priority applications, where a fault-tolerant quantum computer should first earn its keep.
energy.gov/science/articles/…
Josh Baron retweeted
CLAUDE FOUND THE SEEDS
anthropic.com/research/ecdsa…
Josh Baron retweeted
American quantum innovators, are you up for the challenge?
The Challenge: demonstrate fault-tolerant quantum computers with at least 100 logical qubits.
The Deadline: October 19.
Apply for @ENERGY’s Quantum Genesis Q Competition: bit.ly/4j858Bs
Josh Baron retweeted
To leverage quantum computing's potential, @ENERGY announced 8 key aspects of the Quantum Computing National Challenges. These questions will guide the Quantum Genesis Mission's goal of developing fault-tolerant, scientifically-relevant quantum computers. energy.gov/science/articles/…
Josh Baron retweeted
This is what I have been telling everyone who will listen.
The most valuable thing the frontier labs can now do for crypto (and math more broadly) is publish their *negative* results. What ideas they tried, how much compute they used, and what obstacles they found.
Replying to @matthew_d_green
And specifically for cryptanalysts who are working with models and for the labs:
Folks, what we need right now are *negative* results. Silence is the worst thing you could be publishing.



























