Award Data

"Rising sea levels and king tide flooding in coastal areas across America are saturating onsite wastewater disposal systems (OSDS), resulting in the degradation of coastal ecosystems and 200,000+ illnesses annually. Many States are mandating system upgrades, with 88,000 upgrades required by 2050 in Hawaii alone. Unfortunately, existing upgrade options are unaffordable for 97% of Hawaiian homeowner ...

Oceanit proposes the design, construction, and testing of a hyperspectral imaging equipped Unmanned Aerial System (UAS) for the detection of various coral species and the monitoring of coral health. This system will be the prototype for the sensor part of a robust, COTS-based UAS system to aid the NOAA National Coral Reef Monitoring Program. Different coral families and species will be identified ...

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

This project will establish the clear feasibility of bonded GaN-GaAs heterostructures to enable wide-bandgap heterojunction bipolar transistors (HBTs) with an unprecedented combination of high power, speed, and linearity at high frequencies (>10 GHz). Over the past decade, GaN-based high electron mobility transistors (HEMTs) have matured in reliability and performance and set the standard in high- ...

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

In this project, Oceanit will build and demonstrate a powerful solution that can automatically determine the exhaustive set of embedded devices impacted by publicly disclosed vulnerabilities, beyond those enumerated in public disclosures.