Federal award (DEFINITIVE CONTRACT, fiscal year 2024)
Recipient: GALOIS, INC.
Awarding agency: Department of Defense / Department of the Army
Funding agency: Department of Defense / Defense Advanced Research Projects Agency
Period of performance: 2023-07-21 to 2025-08-21
Current total value of award: $1799831
Description: DARPA SBIR II - BARC: BINARY ANALYSIS AND RECOMPILATION FOR CHERI