Federal award (DEFINITIVE CONTRACT, fiscal year 2024)
Recipient: GALOIS, INC.
Awarding agency: Department of Defense / Defense Advanced Research Projects Agency
Funding agency: Department of Defense / Defense Advanced Research Projects Agency
Period of performance: 2024-10-16 to 2026-04-16
Current total value of award: $12622799
Description: THE CONTINUOUS-CORRECTNESS ON OPAQUE PROCESSORS (COOP)PROGRAM SEEKS TO DEVELOP HARDWARE AND SOFTWARE TOOLS TO GUARANTEE THAT SOFTWARE IS RUNNING CORRECTLY BY COMBINING FORMAL METHODS AND SIDE-CHANNELS.