Bae Systems Information and Electronic Systems Integration Inc.

Gregory S Sadosuk

John Gu

Phong C Khuu

Jessica Y Hsu

Reza Ghanadan

Michael J Weber

Brian D Loop

Vu T Le

Robert B Ross

Robert S Gray

Ghanadan Reza

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

Systems and methods provide adaptability in a mobile ad hoc network (MANET), based on an existing protocol, such as adaptive hybrid domain routing (AHDR). The systems and methods are especially suited for fast changing topologies that may change after a reactive route discovery has been completed.

Topology aware MANET for mobile networks

A method and apparatus is provided for using a distributed multi-path QoS-aware routing scheme that considers basic MANET characteristics to meet transport service requirements of real-time applications and makes use of multiple discovered paths to calculate a next-hop decision. The QoS Routing scheme superimposes distributed neighborhood congestion, neighborhood density, and link stability and delay information over the multiple discovered paths when the next-hop decision is calculated.

Integrating local congestion and path interference into QoS routing for wireless mobile AD HOC networks

A wireless communications network comprising a plurality of nodes and effective to provide quality of service requirements for packets being transmitted. An ingress node calculates variables based on quality of service requirements and places those variables in a header of a packet to be transmitted. The packet is then transmitted to a core node. The core node reads the variables in the packet and calculates a holding time for the packet based on the variables and the quality of service requirements.

System and method for determining a transmission order for packets at a node in a wireless communication network

Domains are formed in a mobile ad hoc network by exchanging topology update messages among neighboring nodes, each message including the node coverage of the originating node. The node having an optimum coverage of its neighbors becomes a domain lead (DL) node, and nodes within hearing distance or range of the DL node form a network domain. Each domain node, including the DL, selects a set of bridge nodes (BNs) that can link the domain node to nodes in corresponding neighboring domains. All domain lead nodes in the network exchange messages to inform one another of the nodes contained in their respective domains. A node in one domain seeking a route for a message destined to a node in another domain, may send a route discovery (RDisc) message to the DL node of the inquiring node's domain. A responsive route resolution (RRes) message is returned to the inquiring node.

Growing community of inventors

Fairfax Station, VA, United States of America

Gregory S Sadosuk