Riverside Research, Anduril Collaborate on Lattice Cyber Hardening

Anduril and Riverside Research (a DoD-focused nonprofit) announced collaboration to apply DARPA formal methods to strengthen the Lattice platform against cyber attacks.

AI-assisted summary of the source material. How we write these.