Interesting, this paper also mentions the same DARPA contract: https://apps.dtic.mil/sti/pdfs/AD1084807.pdf https://apps.dtic.mil/sti/pdfs/AD1084807.pdf It sho

Interesting, this paper also mentions the same DARPA contract: https://apps.dtic.mil/sti/pdfs/AD1084807.pdf https://apps.dtic.mil/sti/pdfs/AD1084807.pdf It shows up in this document of contracts: https://www.esd.whs.mil/Portals/54/Documents/FOID/Reading%20Room/DARPA/16-F-0263%20FY2015%20DARPA%20Funding%20Spreadsheet.pdf https://www.esd.whs.mil/Portals/54/Documents/FOID/Reading%20... * Contract Number: FA875015C0124 * Performer Name: GALOIS, INC. * Agent Name: AFRL, Information Directorate MR * Program Name: Cyber Fault-tolerant Attack Recovery (CFAR) * Office: I2O * Fiscal Year: 2015 * Obligated ($): 2,099,878