-
公开(公告)号:US10778652B2
公开(公告)日:2020-09-15
申请号:US16050253
申请日:2018-07-31
Inventor: Patrick J. Martin , Brent C. Baker , Collin T. Blakley , Gregory T. Eakman , Robert B. Ross
Abstract: 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.
-
公开(公告)号:US20180068121A1
公开(公告)日:2018-03-08
申请号:US15255452
申请日:2016-09-02
Inventor: Robert S. Gray , Vu T. Le , Robert B. Ross , Gregory S. Sadosuk , Michael J. Weber
CPC classification number: G06F21/563 , G06F8/53 , G06F8/74 , G06F11/3636 , G06F2221/033
Abstract: 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.
-
公开(公告)号:US20200045021A1
公开(公告)日:2020-02-06
申请号:US16050253
申请日:2018-07-31
Inventor: Patrick J. Martin , Brent C. Baker , Collin T. Blakley , Gregory T. Eakman , Robert B. Ross
Abstract: 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.
-
-