Federal award (DEFINITIVE CONTRACT, fiscal year 2023)
Recipient: VANDERBILT UNIVERSITY
Awarding agency: Department of Defense / Defense Advanced Research Projects Agency
Funding agency: Department of Defense / Defense Advanced Research Projects Agency
Period of performance: 2024-09-30 to 2026-03-30
Current total value of award: $1042067
Description: CONTINUOUS-CORRECTNESS ON OPAQUE PROCESSORS (COOP) DEVELOP HARDWARE AND SOFTWARE TOOLS TO GUARANTEE THAT SOFTWARE IS RUNNING CORRECTLY BY COMBINING FORMAL METHODS AND SIDE-CHANNELS