Definitive Contract to Galois, Inc. by Defense Advanced Research Projects Agency: $1.5M obligated, latest action 2024-06-06. Lifting Legacy Code to Safer…