List

The ISABEL program will create symbolic execution signatures to classify bugs in the NIST Bugs Framework. Using the symbolic execution signature ISABEL will find a program input to trigger the bug using fuzz testing. ISABEL will integrate its bug categorization and bug triggering capability with a software development environment using a flexible framework that will allow both open source and comm ...

NASA has shown that automated mission planning and scheduling can increase satellite flexibility and operational tempo, increase satellite utilization, decrease both uplink and downlink requirements, and decrease operational costs. However, significant work is still required to transition NASA's existing automated mission planning software to Air Force satellite operations. The Air Force is ...

This Phase I program sets out to capitalize on recent advances in epitaxial growth of -Ga2O3 which have the potential to significantly improve upon the performance of currently available power electronics devices. Specifically, -Ga2O3, offers fundamental properties such as its ability to withstand very large electric fields that suggest its use as a power electronics material will lead to device p ...

Cyber threats are increasing USAF simulator and training system sustainment costs and reducing available training time. Existing simulator architectures do not support rapid updating to incorporate new security features or address vulnerabilities. The Si

During missions it is imperative to provide war fighters (such as a Joint Target Area Controller or JTAC) with the ability to confirm distant end communicators. These communicators could be other people or automated systems. If the remote communicator i

To more quickly analyze sensor and other data near the tactical edge, allowing faster reaction and ensuring mission success, the Air Force has expressed the need for an agile tactical cloud capable of in-mission data processing and storage. Architecture

Fast Authentication for Tactical Interfaces (FATI) is a hardware/software approach to providing fast login to tactically deployed end user devices (EUDs) like the Battlefield Air Operations Kit. FATI provides multi-factor authentication that is more secu

SIFT proposes Community of Measured Peers (COMPEER) an integrated collaboration environment that addresses the security and reputation requirements of the Intelligence Community (IC) for discovering new resources within isolated IC enclaves and on the Int

Production of hydroxylamine nitrate (HAN) and hydroxyethyl hydrazine nitrate (HEHN) is of great concern for the manufacture of AF-315E. Current stockpiles of heritage ingredients held by AFRL are being depleted and those manufacturers are no longer in exi

Current and future explosive munition weapon systems development relies heavily on explosives detonation performance characterization and computational hydro-code simulation research conducted by DoD and DoE research communities. This work in turn relies