Agades Technologies is a research company building AI systems for cryptographic security.
We are developing new approaches to post-quantum cryptanalysis and offensive security using evolutionary program synthesis. Our goal is to build systems that discover exploitable structures in cryptographic schemes, and in the software that implements them, before adversaries do.
Research
Post-quantum cryptography is being standardized. Whether the standardized schemes are secure against AI-augmented attacks is an open question.
Agades studies post-quantum cryptanalysis as a search problem: how can AI generate, test, and improve attack strategies against lattice-based cryptographic schemes before those weaknesses become operational risks? Learn more
Offensive security
The same search architecture applies to vulnerability discovery in software and firmware.
The same architecture can search software and firmware for exploitation paths that static signatures miss, using program structure and real target behavior as the scoring signal. Learn more
Beyond lattices
Biology as a source of cryptographic hardness.
Agades is also interested in biological complexity as a possible source of cryptographic hardness, from RNA folding to DNA-based physical primitives. Learn more
We are looking for researchers interested in cryptanalysis, evolutionary computation, program analysis, and mathematical biology.
Agades is early-stage. If you want to work on these problems with us, or if you are interested in collaborating, reach out.