DeepMind uses AlphaProof Code to formally verify Signal's protocol
Gemini Carbon agents produced over six million lines of Lean in four weeks and flagged two reintroduced bugs.
Stories per day · 30 days
14 RSS
Relatedpost-quantum19nist10anthropic5claude4ecdsa4lrand484secret-sharing4tls4differential-uniformity3elliptic-curves3finite-fields3formal-verification3ml-kem3mpc3privacy3rsa3signal3alphaproof-code2
174 stories, newest first · one card per story
Stories tagged #cryptography
Apache Commons Codec Blake3 doFinalize is stateless (CVE-2026-119078)
Repeated doFinalize calls without new input return the same bytes, so the documented KDF example derives identical keys.
TUTTI bootstraps CKKS in under 3 ms on CPU
On 192 threads it restores 1 to 9 levels for 4096 messages in 46 to 83.4 ms, up to 3 times faster than SHIP.
Paper improves Shamir leakage-resilience bound below one half
For large n and prime p greater than n, resilience holds whenever t/n is at least 0.489.
DeepMind agents lower the cost of attacking 1024-bit RSA
A sandboxed rerun forged signatures in 391 core-years versus 1,380 previously; DeepMind says 2048-bit keys stay secure.
New PIR schemes store n+1 bits and answer queries in sublinear time
For two servers, query time is n^0.82, matching prior EUROCRYPT 2026 schemes with far less storage.
Advantage distillation in paired-state quantum key distribution
A three-record parity filter cuts the leading independent-bit error term from e to e squared before reconciliation.
Public-key encryption from planted clique and noisy k-LIN
The construction is secure against polynomial-size adversaries under two average-case conjectures and answers a STOC 2010 question.
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.
Paper constructs new APN functions with boomerang uniformity one
The constructions are CCZ-inequivalent to listed APN monomial and Ness-Helleseth binomial families for q greater than 7.
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
Quadratic extractors achieve polylog entropy for quadratic sources
New explicit construction works for min-entropy k=polylog(n) on quadratic sources, bypassing the sumset extractor barrier for 2-local sources.
Anthropic releases FlashProve for verifying AI model outputs
FlashProve uses zkSNARKs to prove model authorship without exposing weights, limited to 1024 token contexts.
1
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.
Quantum key exchange equivalence with public quantum money
The paper proves 2QKE is equivalent to efficiently-verifiable state puzzles and quantum signatures, potentially weaker than one-way functions.
Quantum MPC from random oracle requires Omega of circuit size communication
New lower bounds show random oracle cannot reduce online communication in information-theoretic MPC and that quantum-accessible oracles with classical communication yield no savings.
Permutation of Z/4Z^m with Bounded Differential Uniformity
Explicit G_c permutation over Galois rings achieves uniform differential uniformity bound of 36 independent of m.
Practical preimages for 19- and 20-step SHA-256 with standard padding
One CPU core solves arbitrary 19-step padded targets in median 19.5 seconds.
Poly and Polyval hash functions compared for cryptographic use
Poly is faster than Polyval for n=256 and 512 while Polyval is faster for n=128 in optimized implementations for NIST cryptographic accordions.
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
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
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