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
Start Date: Sep 30, 2024
End Date: Sep 30, 2027
48% of period elapsed
Awarding Agency
DODEPT OF DEFENSE
Code: 9700
Funding Agency
DODEPT OF DEFENSE
Code: 9700
Loading contract activity data...
Modification ID | Description | Action Date | Obligated Amount | Action Type |
|---|---|---|---|---|
Subaward # | Subawardee | Description | Amount | Action Date |
|---|---|---|---|---|