CONTINUOUS-CORRECTNESS ON OPAQUE PROCESSORS (COOP) DEVELOP HARDWARE AND SOFTWARE TOOLS TO GUARANTEE THAT SOFTWARE IS RUNNING CORRECTLY BY COMBINING FORMAL METHODS AND SIDE-CHANNELS
$1,042,067
| Recipient | VANDERBILT UNIVERSITY UEI GTNBNWXJ12D5 |
|---|---|
| Award ID | HR001124C0520 |
| Award amount | $1,042,067 |
| 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 | AC13 |
| Start date | Sep 30, 2024 |
| End date | Mar 30, 2026 |
| Place of performance | NASHVILLE, TN |
| Record updated | Sep 30, 2024 |
View the official award record
More awards won by VANDERBILT UNIVERSITY
ASSURANCEBASED LEARNING-ENABLED CYBER-PHYSICAL SYSTEMS (ALC)
Department of Defense · $9,265,386 · Apr 26, 2018
DESIGN.R - ARTIFICIAL INTELLIGENCE (AI)-ASSISTED CYBER PHYSICAL SYSTEMS (CPS) DESIGN
Department of Defense · $8,696,785 · Sep 24, 2020
PRINCIPAL INVESTIGATOR AND SCIENCE MANAGEMENT TEAM SUPPORT RESPONSIBLE FOR THE MANAGEMENT OF THE POLARIZED SUBMILLIMETER ICE-CLOUD RADIOMETER INSTRUMENT MISSION FOR THE NASA LIFE CYCLE FORMULATION AND IMPLEMENTATION PHASES A THOUGH F.
National Aeronautics and Space Administration · $7,654,253 · Nov 27, 2023
ASSURED NEURO-SYMBOLIC COMPONENTS AND SYSTEMS (ANSCS)
Department of Defense · $5,672,990 · Jun 1, 2023
RESEARCH IAW THE SOW, "DERIVING CYBER-SECURITY REQUIREMENTS YIELDING PROTECTED PHYSICAL SYSTEMS (DCRYPPS)"
Department of Defense · $3,243,368 · Feb 14, 2018
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