Award Data

Semantically Linked Data is widely seen as a revolutionary approach for maximizing the usefulness of existing and future information. In the materials domain, semantically linked materials data holds considerable promise with the ability to facilitate materials research and product development, improve communication, and open up avenues for new types of materials informatics. But realizing the pro ...

This effort proposes to develop a toolset to evaluate the effectiveness of a safety-controller that monitors a learning-based autonomous control system. The traditional use of deterministic verification techniques for real-time monitoring is not feasible in the presence of uncertainty. This effort would advance the recommended verification techniques to include non-deterministic approaches. The ...

Barron Associates has assembled a team of researchers that include Dr. Sayan Mitra of the University of Illinois and Dr. Ufuk Topcu of the University of Pennsylvania. They will spearhead three complimentary investigations into the development of verification and validation (V & V) approaches for adaptive systems protected by run time assurance (RTA) mechanisms. Two of these approaches involve us ...

With the proliferation of cheap sensors, reduction in storage costs and the ubiquity of communication networks, Cyber-Physical Systems are collecting and storing data at an unprecedented rate. Analysis of such large databases is necessary to find relevant information and improve the efficiency of the Cyber Physical System. The goal of an analysis tool, simply put is to find the most interesting in ...

Use of Google Glass and add-ons to monitor warfighter state.

To hijack the execution of a program, an attacker must overwrite the value of a return address or a function pointer (broadly defined). To prevent program hijacking, our product will provide a layered defense of these two targets, including deterministic and randomization defenses, with the ability in many cases to continue execution after a hijacking attempt is prevented. Our product toolkit incl ...

In order to better protect critical infrastructure from cyber attacks, perimeter and passive defenses must be complemented with an active defense mechanism which elevates the risks, or costs, a potential attacker will face. The effectiveness of an active defense mechanism, however, is ultimately limited by its ability to detect threats fast, accurately, and reliably. For this Phase II project, we ...

Adversaries are becoming increasingly proficient at cyber attacks against command and control infrastructure. Maintaining security requires high-fidelity assessments of software services, e.g., through exercises in which Systems Under Test are subjected t

There is an increasing need for fast and accurate analysis of large volumes of disparate data containing critical information. Existing tools for information search, retrieval, and exploitation are inadequate because the tools have limited ability to (1) help the analyst understand the semantics within the information, (2) reveal the relationships between the information and the analytic task, or ...

The volume of data collected by Air Force ISR has exceeded the capacities of traditional analysis methods. New enhancements to the Air Forces PCPAD intelligence cycle are, thus, critical to providing the analyst with the ability to strategically process, exploit and analyze the most critical information. Aptimas SCAAN system seeks to enhance PCPAD by distributing data exploitation and analysis tas ...