Award Data

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

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

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

Modern lithium ion batteries are known for their poor safety performance, with many reports of battery failure and fire having been reported. One of the major causes of battery fire is from the use of flammable solvents, such as organic carbonates, as the electrolyte. These hazards have long limited the usage of batteries in dangerous conditions, such as on the battlefield. To combat this issue, t ...

For forward/deployed SOF in today’s tactical environment, operating a drone to achieve ISR objectives, including platform and sensor control, means at best experiencing major cognitive overload and at worst being out of the fight. In recognition of this problem, SOCOM224/D005 (Artificial Intelligence/Drive Voice Control at the Edge (“ADViCE”)) seeks to “develop applied research toward an i ...

U.S. Coast Guard personnel monitoring radio transmissions of vessels at sea must be able to identify distress calls despite interference, degraded conditions, and the stressed speech of those in emergency situations. However, not all distress calls are genuine. Hoax calls can be intended as malicious pranks, due to intoxication, or to distract Coast Guard assets from other tasks such as drug inter ...

The US Coast Guard (USCG) Search and Rescue (SAR) program’s mission is to prevent loss of life in every situation where actions or resources could possibly be brought to bear. Because of this serious obligation, the USCG expends resources to pursue all distress notifications until they can be identified as a hoax. Sector Communications Unit (CU) watchstanders typically spend 12- hour watches lis ...

Everything over IP and wide area cellular networks has not entirely solved the interoperability issues found in public safety communications. Prioritized public safety communicators are not able to connect with one another across major wireless carriers.We propose a systematic approach to identify an architecture and a set of standardized protocols forming a platform of interoperability. The purpo ...