Award Data

Digital Multi-Function AESAs (MFAs) enable new capabilities for US Air Force (USAF) platforms using digital and hybrid digital/analog arrays that facilitate rapid beam steering, beamforming, multi-beam support and digital interfaces to capabilities (e.g.,

The US Air Force has the need to predict proficiency, outcomes, and study potential optimizations of the impact of proposed training for USAF personnel, teams, and individual pilots.  Such assessments rely on data provided by a variety of facilities and service branches, and at diverse classification and compliance levels.  While techniques do exist for linking and aggregating data for analysis, ...

The objective of this study will be to develop technologies for recompiling legacy binaries to the secure CHERI ISA in support of DoD modernization priorities. Doing this would enable upgrading DoD systems processors and software by ruling out several important categories of security vulnerability that are possible on legacy architectures. However, recompilation is inherently a very difficult task ...

The vision of the CAMDEN project has been to explore the use of mechanism design as a solution to effectively incentivize and accelerate collaboration in critical DoD domains. Our Phase II goal is to “make it real” by building one or more deployable mechanism design solutions, demonstrating in a very tangible way how mechanism design can benefit the DoD. In the 8-month Phase 1 effort, we aimed ...

Due to exponential growth in complexity, current hardware designs cannot be thoroughly tested, which leads to significant hardware vulnerabilities reaching the field. Recent innovations in Model-Based Engineering (MBE) provide information flow analysis results that can be used to drive design state space partitioning – separating the design into multiple, individually verifiable portions – bas ...

Lukla Inc. d.b.a OROS has developed multiple superior insulating technologies utilizing a technology called aerogels, while maintaining a low bulk profile. Historical attempts to incorporate silica-aerogel materials into apparel and soft goods have seen m

Lukla Inc. dba OROS has developed a suite of super insulating technologies utilizing a technology called aerogels. Aerogels have incredibly low thermal conductivity which blocks thermal conduction, while maintaining a low bulk profile unlike traditional l

The United States Air Force has a need for enhanced capabilities in extreme cold environments as outlined in the recent National Strategy for the Arctic Region released by the White House.  This shifting focus will require a renewed effort for development

The Generating Requirements Evidence with Analysis and System-level Enforcement (GREASE) project will develop a static binary verifier that generates evidence that COTS software components satisfy their requirements. The GREASE tool will accelerate both (1) the safe and high-assurance integration of COTS components into systems, and (2) the generation of assurance cases for the certification of sy ...

Redacted.