"USER-DIRECTED ANALYSIS AND VERIFICATION OF MODIFIED BINARIES"
$999,959
| Recipient | GALOIS, INC. UEI MKT6C6U2BRM4 |
|---|---|
| Award ID | 140D0423C0063 |
| Award amount | $999,959 |
| Award type | DEFINITIVE CONTRACT |
| Awarding agency | Department of the Interior — Departmental Offices |
| NAICS | 541715 — RESEARCH AND DEVELOPMENT IN THE PHYSICAL, ENGINEERING, AND LIFE SCIENCES (EXCEPT NANOTECHNOLOGY AND BIOTECHNOLOGY) |
| PSC | AJ12 |
| Start date | Aug 11, 2023 |
| End date | Aug 13, 2024 |
| Place of performance | PORTLAND, OR |
| Record updated | Aug 11, 2023 |
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
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).
Department of Defense · $21,350,604 · May 22, 2019
SECURING INFORMATION FOR ENCRYPTED VERIFICATION AND EVALUATION (SIEVE) PROGRAM
Department of Defense · $14,688,308 · Apr 17, 2020
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