This effort develops automatic detection of malicious binary code based on syntax-independent logical control flow patterns. Control flow patterns yield specific detectable signatures that can be extracted from binary code. Because they are based on functional control flow, these signatures also… More

This effort will develop a capability for automated modification of binary code based on canonical algorithm patterns of control flows. Since these methods are based on control flow, they are OS and language independent. The methods offer a path towards building operating systems that are… More

This effort is based on the outcome of a successful Phase I project that demonstrated the feasibility of generating logic pattern-based, OS-platform-independent, signatures for malicious program logic and detecting its presence within much larger binary modules. The detection (and localization) of a… More

2LR proposes to develop a malicious source code scanner that can flag sections of potentially `bad' source code that is vulnerable to exploitation or may contain latent malicious content. This effort will evaluate and compare current methods for detecting malicious code with a novel method based on… More

This SBIR effort proposes to develop tools that enable a capability in tamper proof source code. The proposed methods will protect against several modes of attack including malicious programmers, source code viruses, and system worms. The tools and techniques proposed are based on the fundamental… More

The proposal outlines a research program for developing a novel soft-computing technology composed of an Artificial Immune System and Bayesian Belief Networks for monitoring, knowledge and information processing, and decision support infrastructure for testing of rocket engines of future… More

This project develops a technology to automate the interpretation and understanding of complex trees of source code and related artifacts for conversion to run on newer hardware, operating systems and languages. The center of our proposed innovative approach is to map and parse a complex source… More