Award Data

In recent years, the nuclear power industry has been exploring the use of conventional powder metallurgy and hot-isostatic press technologies to fabricate large, near net shape components for high pressure components and other applications pertaining to the generation of electric power. Powder metallurgy has many manufacturing consistency and reliability advantages over other large-scale manufactu ...

A combination of DOD modernization priorities and supply chain assurance will require unprecedented development in production of new materials for tomorrow’s warfighter. The legacy chemical industry has assumed a paradigm of mega scale factories which has led to supply chain vulnerabilities due to centralization of manufacturing activity. On the other hand, biological manufacturing paradigm, wit ...

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 ...

In the Phase I and II efforts on Galois' Attack Sensitive Brittle Software (Brittle) SBIR project, we implemented Software Fault Enhancement (SFE), a binary modification technique for improving the robustness of existing binary code, without requiring access to source code or other documentation.  This work is promising enough that the toolset is now being commercialized.  On this sequential Pha ...

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 ...

Current artificial intelligence (AI) algorithms are built to align with ground truth or consensus of trusted human decision-makers. This is not effective for difficult decision domains, such as patient triage, where even experts disagree on the best course of action. A key reason human experts disagree is that their individual attributes influence their decision-making. To develop human-off-the-lo ...

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 ...

If civilian and military equipment and personnel are to be effectively shielded in a high radiation environment- such as that found in space, or in a nuclear-powered naval vehicle, or in a nuclear-active battlefield environment- then protection against high-energy photons must be enhanced well beyond that currently delivered by existing materials. Materials that are highly effective in stopping th ...

This SBIR project will exploit the nanoscale physics delivered by percolating networks of PbTe nanoparticles to develop an efficient, low-cost imager of hard x-rays (5 – 300 keV) that has high spatial (< 55 mm) and energy resolutions (< 2 %). We developed methods to assemble PbTe into scalable solids using either templated growth or self-assembly. PbTe gels self-assembled from colloidal nanopart ...