Microsoft Technology Licensing, LLC

Amazon Technologies, Inc.

Mark Wodrich

Evan C Cacka

Thirumalesh Bhat

Nitin Kumar Goel

Shih-Chun Chang

Andrew Jay Roths

Menashe Haskin

Edward James Gayles

James David Meyers

John Lawrence Miller

Daniel Christopher Bay

Vlad Troyanker

Gavin Shane Thomas

Thirumyalesh Bhat

Described herein are systems and methods for secure configuration provisioning of network credentials to configure a device to join one or more networks. One implementation provides for distribution of network credentials to associated devices without user intervention while maintaining security and avoiding distribution of the network credentials to external devices, such as a third-party server. Devices may be associated by purchase from a common merchant, registration to a common account, and so forth.

Secure device configuration

Embodiments for tracing dataflow for a computer program are described. The computer program includes machine instructions that are executable on a microprocessor. A decoding module can be configured to decode machine instructions obtained from a computer memory. In addition, a dataflow primitive engine can receive a decoded machine instruction from the decoding module and generate at least one dataflow primitive for the decoded machine instruction based on a dataflow primitive classification into which the decoded machine instruction are categorized by the dataflow primitive engine. A dataflow state table can be configured to track addressed data locations that are affected by dataflow. The dataflow primitives can be applied to the dataflow state table to update a dataflow status for the addressed data locations affected by the decoded machine instruction.

Tracing of data flow

Technologies are described herein for performing targeted, black-box fuzzing of input data for application testing. A dataflow tracing module traces an application while it reads and processes a set of template data to produce operation mapping data that maps data locations in the template data to operations performed by the application in processing the data at the location. The tracing is performed without requiring the application source code, knowledge of the syntactical structure of the input data, or specially instrumented binaries for the application. A fuzzing module is then utilized to target a specific operation or operations in the application by fuzzing data locations within the template data according to the operation mapping data until the desired outcome is achieved.

Targeted black box fuzzing of input data

This invention relates to a diagnostic tool for networks that process messages in stages such as pipelined networks. In a pipelined network comprising tiers of servers, each tier of servers communicates only with adjacent tiers in a communications flow that processes messages in a sequence of tiers. The tool requires a controller located locally with respect to the pipelined network for generating messages to be processed by the pipelined network. Communication paths connect the controller to each tier of the pipelined network. A program executing at the controller detects a failure of the processing of the message by the pipelined network and receives diagnostic information from the tiers after the failure is detected. The diagnoses based on the retrieved information can proceed either manually or automatically, depending on how the information is collected. In order to automate the diagnosis, the program executing on the controller includes commands for sequentially analyzing each tier in the pipelined network in order to isolate the tier in which the failure occurred. For manual diagnosis, the program includes commands for simultaneously (or almost simultaneously) requesting information from each tier upon network failure. In the manual approach, distributed agents at all of the tiers gather information about the operating of the tier at the time of network failure.

Analysis of pipelined networks

Growing community of inventors

Sammamish, WA, United States of America

Mark Wodrich