https://github.com/systemslibrarian/crypto-lab-model-breach

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.

aead aes algebraic-attacks browser-demo crypto-lab cryptography meet-in-the-middle security-analysis threat-modeling typescript vite

Last synced: 01 Jun 2026