Bae Systems Information and Electronic Systems Integration Inc.

Robert B Ross

Gregory S Sadosuk

Michael J Weber

Vu T Le

Brent C Baker

Gregory T Eakman

Patrick J Martin

Collin T Blakley

Robert S Gray

Techniques are disclosed for providing a secure computational platform that facilitates collaboration of assets from different asset providers without exposure of the assets to threats. The assets may be in the form of tools, models, simulations, and other computational assets, which can be used, for example, to perform trade studies. The secure computational platform provides for integration of the assets in a workflow, while protecting the assets during construction and execution of the workflow. In some instances, each asset in the workflow is executed in an IT infrastructure of the asset provider to which the asset belongs.

Secure computational workflows

A Taint Modeling Function (TMF) finds abstract patterns and uses them to automate the malware detection process. TMF involves the process of statically analyzing a sequence of assembly language instructions and abstracting complex relationships among instruction inputs and outputs into a mathematical function containing a set of algebraic expressions. The set of expressions support fully automating semantic pattern detection in binary code. It deterministically generates outputs given inputs determining code block outputs, for given inputs, without executing the code. It detects code patterns automatically to spot bad coding patterns directly from the binary used to detect bugs statically in the entire application space.

Automated reverse engineering

Growing community of inventors

Fairfax Station, VA, United States of America

Robert B Ross