> In the NSA's defense, combining cryptosystems also creates attack surfaces, timing problems, additional complexity, etc Actually, Dr. Nadim Kobeissi formally

> In the NSA's defense, combining cryptosystems also creates attack surfaces, timing problems, additional complexity, etc Actually, Dr. Nadim Kobeissi formally proved that hybrid is secure, even if ML-KEM fails. [1] [1] https://eprint.iacr.org/2026/1147 https://eprint.iacr.org/2026/1147