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.
cryptography typescript aes aead threat-modeling meet-in-the-middle security-analysis vite crypto-lab browser-demo algebraic-attacks
-
Updated
Apr 17, 2026 - TypeScript