GALOIS, INC.

MAPACHE

P00019 - WS UPDATE, FUNDING, COR DESIGNATION SBIR PHASE III TASK ORDER 2 ADIDRUS

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

SOW REVISION, ADD TASKINGS, INCREMENTAL FUNDING

PROJECT CHRYSALIS LOE A-B

P00018 - FUNDING SBIR PHASE III TASK ORDER 2 ADIDRUS

ENHANCED SBOM FOR OPTIMIZED SOFTWARE SUSTAINMENT (E-BOSS) PROGRAM.

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

INCREMENTAL FUNDING.

DESCRIPTION

THE PURPOSE OF THIS MODIFICATION IS TO PROVIDE AN INCREMENT OF FUNDING AND UPDATE THE PI.

P00015 - CREATE & FUND CLIN 0018 UPDATE FAR CLAUSES

P00017 - FUNDING & CLAUSES SBIR PHASE III TASK ORDER 2 ADIDRUS

MODIFICATION TO PROVIDE AN INCREMENT OF FUNDING AND UPDATE FAR CLAUSES OF THE SUBJECT CONTRACT

"PARTIAL TERMINATION FOR CONVENIENCE AGREEMENT." TITLE: SYSTEMS ENGINEERING BASED ASSESSMENT APPROACHES FOR DIGITAL REACTOR PROTECTION SYSTEMS

VERIFICATION ENGINEERING FOR REAL-WORLD SOFTWARE ENGINEERS

P00006 - EXERCISE OY3 SBIR PHASE III TASK ORDER 2 ADIDRUS

873AUTHORITY

SECURING INFORMATION FOR ENCRYPTED VERIFICATION AND EVALUATION (SIEVE)

VERIFICATION ENGINEERING FOR REAL-WORLD SOFTWARE ENGINEERS

P00014 - ADD ECP CLIN 00017 AND INCREMENTAL FUNDING.

DATA PROTECTION IN VIRTUAL ENVIRONMENTS (DPRIVE)

ENHANCED SBOM FOR OPTIMIZED SOFTWARE SUSTAINMENT (E-BOSS) PROGRAM.

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.

P00015 - FUNDING SBIR PHASE III TASK ORDER 2 ADIDRUS

INCREMENTAL FUNDING AND SUBCONTRACTOR UPDATE

INC FUNDS CLIN 0005, UPDATE SOW, UPDATE CDRL

ENHANCED SBOM FOR OPTIMIZED SOFTWARE SUSTAINMENT (E-BOSS) PROGRAM.

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.

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.

P00012 - IN-SCOPE ADD ECP, REVISE SOW, OBLIGATE FUNDS

TITLE: SYSTEMS ENGINEERING BASED ASSESSMENT APPROACHES FOR DIGITAL REACTOR PROTECTION SYSTEMS

ENHANCED SBOM FOR OPTIMIZED SOFTWARE SUSTAINMENT (E-BOSS) PROGRAM.

CONTINUED CONTRACTOR SERVICES - 6-MONTH EXTENSION

INCREMENTALLY FUND CLIN 0003 FOR $499,923.00. PR # 1301188704 APPLIES. AS A RESULT, CLIN 0003 IS FULLY FUNDED. THIS CHANGE IS AT NO ADDITIONAL COST TO THE GOVERNMENT.

DEVELOPMENT OF A TECHNICAL BASIS FOR PERFORMANCE-BASED (OUTCOME ORIENTED) SAFETY ASSURANCE USING CORRECT BY CONSTRUCTION (CBYC) METHODS

P00014 - FUNDING SBIR PHASE III TASK ORDER 2 ADIDRUS

GENERATIVE AI FOR RIGOROUS DIGITAL ENGINEERING (GAIRDE) PROJECT.

RESEARCH IAW SOW - GALOIS INC IN SUPPORT OF DARPA I2O V-SPELLS PROGRAM - PROVIDING AN INCREMENT OF FUNDING

DEVELOPMENT OF A TECHNICAL BASIS FOR PERFORMANCE-BASED (OUTCOME ORIENTED) SAFETY ASSURANCE USING CORRECT BY CONSTRUCTION (CBYC) METHODS

INCREMENTALLY FUND FOR OPTION 1 (CLIN 0005)

VERIFICATION ENGINEERING FOR REAL-WORLD SOFTWARE ENGINEERS

DARPA SBIR II - BARC: BINARY ANALYSIS AND RECOMPILATION FOR CHERI - MODIFICATION TO EXERCISE OPTION CLINS 0003 AND 0004

INC FUNDING

SECURING INFORMATION FOR ENCRYPTED VERIFICATION AND EVALUATION (SIEVE)

"USER-DIRECTED ANALYSIS AND VERIFICATION OF MODIFIED BINARIES"

P00010 - EXERCISE OPTION 2 PHASE III (CLIN 0011 & CLIN 0016) AND INCREMENTALLY FUND CLIN 0011.

VERIFICATION ENGINEERING FOR REAL-WORLD SOFTWARE ENGINEERS

873AUTHORITY

873AUTHORITY