THE SAFE DOCUMENTS (SAFEDOCS) PROGRAM WILL DEVELOP NOVEL VERIFIED PROGRAMMING METHODOLOGIES FOR BUILDING HIGH ASSURANCE PARSERS FOR EXTANT ELECTRONIC DATA FORMATS, AND NOVEL METHODOLOGIES FOR COMPREHENDING, SIMPLIFYING, AND REDUCING THESE FORMATS TO THEIR SAFE, UNAMBIGUOUS, VERIFICATION-FRIENDLY SUBSETS (SAFE SUB-SETTING).
$21,350,604
| Recipient | GALOIS, INC. UEI MKT6C6U2BRM4 |
|---|---|
| Award ID | HR001119C0073 |
| Award amount | $21,350,604 |
| Award type | DEFINITIVE CONTRACT |
| Awarding agency | Department of Defense — Defense Advanced Research Projects Agency |
| NAICS | 541715 — RESEARCH AND DEVELOPMENT IN THE PHYSICAL, ENGINEERING, AND LIFE SCIENCES (EXCEPT NANOTECHNOLOGY AND BIOTECHNOLOGY) |
| PSC | AD91 |
| Start date | May 22, 2019 |
| End date | May 31, 2023 |
| Place of performance | PORTLAND, OR |
| Record updated | Apr 22, 2025 |
View the official award record
More awards won by GALOIS, INC.
JAIC AI DATA READINESS BOA
Department of Defense · $249,000,000 · Mar 11, 2022
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.
Department of Defense · $25,245,598 · Oct 16, 2024
VERIFICATION ENGINEERING FOR REAL-WORLD SOFTWARE ENGINEERS
Department of Defense · $21,799,877 · Mar 25, 2024
SECURING INFORMATION FOR ENCRYPTED VERIFICATION AND EVALUATION (SIEVE) PROGRAM
Department of Defense · $14,688,308 · Apr 17, 2020
DATA PROTECTION IN VIRTUAL ENVIRONMENTS (DPRIVE)
Department of Defense · $13,536,266 · Feb 5, 2021
Our catalog shows awards of $250K+ active within the last 5 years. Need older history or smaller awards? Tell us what you need — we expand by request.
Awards tell you who won. Bids tell you what's next. BidCatch scans 100+ federal, state, and local sources every night and sends the new opportunities matching your trade — before they're awarded to someone else. Free for 14 days, then $49.99/month.
Search open bids