Skip to content
#

meet-in-the-middle

Here are 14 public repositories matching this topic...

Official code for 'Galois Invariants in Cyclotomic Lattice Enumeration'. Proves deterministic collapse of the SVP search space via modular pruning and MitM architecture. Demonstrates non-ergodicity of LWE noise, reducing complexity by the product of oracle primes. Supporting material for SEMA Journal (Springer Nature).

  • Updated Apr 30, 2026
  • Jupyter Notebook

Browser-based HiAE threat model case study — AESL, Theorem 1 candidate enumeration, MITM state recovery, byte decomposition, guess-and-determine key recovery. Security claims are contracts. The threat model is the fine print. No backends. No simulated math.

  • Updated Apr 17, 2026
  • TypeScript

Improve this page

Add a description, image, and links to the meet-in-the-middle topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the meet-in-the-middle topic, visit your repo's landing page and select "manage topics."

Learn more