MAPACHE GALOIS, INC. $1,432,310 DEPARTMENTAL OFFICES DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA) — 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) AC12 NATIONAL DEFENSE R&D SERVICES; DEPARTMENT OF DEFENSE - MILITARY; APPLIED RESEARCH Oct 29, 2025 Oct 31, 2025 Oct 30, 2026
PROJECT CHRYSALIS LOE A-B GALOIS, INC. $4,604,230 DEPT OF THE AIR FORCE DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA) — 541512 Computer Systems Design Services AC12 NATIONAL DEFENSE R&D SERVICES; DEPARTMENT OF DEFENSE - MILITARY; APPLIED RESEARCH Jul 18, 2025 Jul 18, 2025 Jul 18, 2028
873AUTHORITY GALOIS, INC. $4,499,441 DEPT OF THE NAVY DEPT OF THE NAVY — 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) AC12 NATIONAL DEFENSE R&D SERVICES; DEPARTMENT OF DEFENSE - MILITARY; APPLIED RESEARCH Mar 13, 2025 Mar 13, 2025 Mar 15, 2029
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. GALOIS, INC. $52,815,642 DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA) DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA) — 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) AC13 NATIONAL DEFENSE R&D SERVICES; DEPARTMENT OF DEFENSE - MILITARY; EXPERIMENTAL DEVELOPMENT Oct 16, 2024 Oct 16, 2024 Apr 16, 2026
TITLE: SYSTEMS ENGINEERING BASED ASSESSMENT APPROACHES FOR DIGITAL REACTOR PROTECTION SYSTEMS GALOIS, INC. $683,186 NUCLEAR REGULATORY COMMISSION NUCLEAR REGULATORY COMMISSION — 541690 Other Scientific and Technical Consulting Services AG12 ENERGY R&D SERVICES; ENERGY SUPPLY; APPLIED RESEARCH Sep 30, 2024 Sep 30, 2024 Oct 15, 2027
ENHANCED SBOM FOR OPTIMIZED SOFTWARE SUSTAINMENT (E-BOSS) PROGRAM. GALOIS, INC. $4,446,007 DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA) DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA) — 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) AC11 NATIONAL DEFENSE R&D SERVICES; DEPARTMENT OF DEFENSE - MILITARY; BASIC RESEARCH Sep 12, 2024 Oct 7, 2024 Sep 7, 2026
GENERATIVE AI FOR RIGOROUS DIGITAL ENGINEERING (GAIRDE) PROJECT. GALOIS, INC. $1,479,489 DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA) DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA) — 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) AC12 NATIONAL DEFENSE R&D SERVICES; DEPARTMENT OF DEFENSE - MILITARY; APPLIED RESEARCH Aug 12, 2024 Aug 12, 2024 Jan 12, 2026
DEVELOPMENT OF A TECHNICAL BASIS FOR PERFORMANCE-BASED (OUTCOME ORIENTED) SAFETY ASSURANCE USING CORRECT BY CONSTRUCTION (CBYC) METHODS GALOIS, INC. $674,874 NUCLEAR REGULATORY COMMISSION NUCLEAR REGULATORY COMMISSION — 541990 All Other Professional, Scientific, and Technical Services R418 SUPPORT- PROFESSIONAL: LEGAL Jun 27, 2024 Jun 27, 2024 Jan 31, 2027
873AUTHORITY GALOIS, INC. $1,199,437 DEPT OF THE NAVY DEPT OF THE NAVY — 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) AC12 NATIONAL DEFENSE R&D SERVICES; DEPARTMENT OF DEFENSE - MILITARY; APPLIED RESEARCH Apr 2, 2024 Apr 2, 2024 Oct 2, 2025
VERIFICATION ENGINEERING FOR REAL-WORLD SOFTWARE ENGINEERS GALOIS, INC. $21,799,877 DEPT OF THE AIR FORCE DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA) — 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) AC11 NATIONAL DEFENSE R&D SERVICES; DEPARTMENT OF DEFENSE - MILITARY; BASIC RESEARCH Mar 25, 2024 Mar 25, 2024 Nov 24, 2027
RHEIA-F: ROBUST HIGH-FIDELITY ENERGY-INFORMED AUTONOMY FRAMEWORK GALOIS, INC. $179,938 DEPT OF THE AIR FORCE DEPT OF THE AIR FORCE — 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) AC11 NATIONAL DEFENSE R&D SERVICES; DEPARTMENT OF DEFENSE - MILITARY; BASIC RESEARCH Mar 22, 2024 Apr 1, 2024 Sep 30, 2024
EMERGENT RISKS STUDY GALOIS, INC. $899,789 DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA) DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA) — 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) AC12 NATIONAL DEFENSE R&D SERVICES; DEPARTMENT OF DEFENSE - MILITARY; APPLIED RESEARCH Nov 28, 2023 Nov 28, 2023 Feb 28, 2025
SBIR PHASE I GALOIS, INC. $239,822 DEPT OF THE NAVY DEPT OF THE NAVY — 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) AC11 NATIONAL DEFENSE R&D SERVICES; DEPARTMENT OF DEFENSE - MILITARY; BASIC RESEARCH Oct 17, 2023 Dec 4, 2023 Dec 2, 2024
PERFORMANCE IAW DARPA SBIR PHASE II TECHNICAL AND COST PROPOSAL TITLED, QUANTIFIED INFORMATION FLOW FOR INTELLIGENT PARTITIONING, (QUIIP) DATED 23 JANUARY 2023, SUBMITTED IN RESPONSE TO DOD SBIR SOLICITATION 17.1, TOPIC NUMBER A17-006. GALOIS, INC. $1,799,828 DEPT OF THE ARMY DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA) — 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) AC32 NATIONAL DEFENSE R&D SERVICES; DEFENSE-RELATED ACTIVITIES; APPLIED RESEARCH Aug 22, 2023 Aug 23, 2023 Feb 17, 2025
"USER-DIRECTED ANALYSIS AND VERIFICATION OF MODIFIED BINARIES" GALOIS, INC. $1,799,837 DEPARTMENTAL OFFICES DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA) — 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) AJ12 GENERAL SCIENCE AND TECHNOLOGY R&D SERVICES; GENERAL SCIENCE AND TECHNOLOGY; APPLIED RESEARCH Aug 11, 2023 Aug 11, 2023 May 6, 2025
NEW DARPA SBIR PHASE II TITLED, BARC: BINARY ANALYSIS AND RECOMPILATION FOR CHERI, SOL: DOD SBIR X20.3, TOPIC NO. AF203CSO1 GALOIS, INC. $1,799,831 DEPT OF THE ARMY DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA) — 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) AC32 NATIONAL DEFENSE R&D SERVICES; DEFENSE-RELATED ACTIVITIES; APPLIED RESEARCH Jul 31, 2023 Jul 21, 2023 Aug 21, 2025
BASE PERIOD (CAMDEN PHASE II) GALOIS, INC. $1,799,896 DEPT OF THE NAVY DEPT OF THE NAVY — 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) AC13 NATIONAL DEFENSE R&D SERVICES; DEPARTMENT OF DEFENSE - MILITARY; EXPERIMENTAL DEVELOPMENT Jun 29, 2023 Jul 3, 2023 Jul 1, 2025
DARPA SBIR PHASE II FOR THE EFFORT ENTITLED: GENERATING REQUIREMENTS EVIDENCE WITH ANALYSIS AND SYSTEM-LEVEL ENFORCEMENT (GREASE). GALOIS, INC. $1,497,445 DEPT OF THE ARMY DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA) — 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) AC32 NATIONAL DEFENSE R&D SERVICES; DEFENSE-RELATED ACTIVITIES; APPLIED RESEARCH Mar 30, 2023 Mar 30, 2023 Mar 31, 2025
PRIVACY ASSURED LINKAGE AND ANALYTICS OVER DATASETS FROM ISOLATED NEIGHBORHOODS GALOIS, INC. $1,249,778 DEPT OF THE AIR FORCE DEPT OF THE AIR FORCE — 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) AC12 NATIONAL DEFENSE R&D SERVICES; DEPARTMENT OF DEFENSE - MILITARY; APPLIED RESEARCH Mar 24, 2023 Mar 25, 2023 Jun 25, 2025
GALOIS INC SEQUENTIAL SBIR PH II GALOIS, INC. $449,769 DEPT OF THE ARMY DEPT OF THE ARMY — 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) AC12 NATIONAL DEFENSE R&D SERVICES; DEPARTMENT OF DEFENSE - MILITARY; APPLIED RESEARCH Jan 18, 2023 Feb 1, 2023 Jan 31, 2024
NEW DARPA SBIR PHASE II CONTRACT SOLICITATION AF221-DCSO1 GALOIS, INC. $1,249,949 DEPT OF THE ARMY DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA) — 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) AJ11 GENERAL SCIENCE AND TECHNOLOGY R&D SERVICES; GENERAL SCIENCE AND TECHNOLOGY; BASIC RESEARCH Nov 28, 2022 Nov 28, 2022 Sep 27, 2024
DISCLOSURE AVOIDANCE RESEARCH AND QUALITY ASSURANCE GALOIS, INC. $3,254,295 US CENSUS BUREAU US CENSUS BUREAU — 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) R799 SUPPORT- MANAGEMENT: OTHER Sep 29, 2022 Sep 30, 2022 Mar 29, 2025
DISCOVERING AND EXPLAINING THREATS OF EMERGENT COMPUTATION TO ENABLE TRANSFORMATIONS (DETECT) GALOIS, INC. $8,416,302 DEPT OF THE NAVY DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA) — 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) AC15 NATIONAL DEFENSE R&D SVCS; DEPARTMENT OF DEFENSE - MILITARY; R&D FACILITIES & MAJ EQUIP Sep 12, 2022 Sep 8, 2022 Sep 7, 2026
AUTONOMOUS ON-ORBIT OBJECT INSPECTION WITH SPACE SENSOR SWARMS GALOIS, INC. $249,969 DEPT OF THE AIR FORCE DEPT OF THE AIR FORCE — 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) AC32 NATIONAL DEFENSE R&D SERVICES; DEFENSE-RELATED ACTIVITIES; APPLIED RESEARCH Sep 1, 2022 Sep 1, 2022 Feb 1, 2023
RESEARCH AND DEVELOPMENT GALOIS, INC. $1,999,570 DEPT OF THE NAVY DEPT OF THE NAVY — 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) AC12 NATIONAL DEFENSE R&D SERVICES; DEPARTMENT OF DEFENSE - MILITARY; APPLIED RESEARCH Jun 7, 2022 Jun 7, 2022 Nov 14, 2025