Definitive Contract to Galois, Inc. by Department of the Air Force: $8.6M obligated, latest action 2022-06-07. Merged Analysis to Prevent Exploits (mate)