Abstract: A hybrid power system is disclosed. The hybrid power system may include a primary power source configured to provide a primary power, and an energy storage device coupled to the primary power source, the energy storage device configured to store excess primary power provided by the primary power source. The hybrid power system may further include a variable speed genset, the variable speed genset including a secondary power source configured to operate at a variable rotor speed to provide a secondary power responsive to power requirements of a load. The hybrid power system may also include a central controller communicatively coupled to the primary power source, the energy storage device, and the variable speed genset, the central controller configured to control the primary power source, the energy storage device, and the variable speed genset based on the power requirements of the load.

Abstract: A method and apparatus is disclosed herein for automated test input generation for web applications.

Abstract: A method and apparatus is disclosed herein for secure server-side programming. In one embodiment, the method comprises creating a server-side program with one or more abstractions and compiling the server-side program by translating the server-side program, including the one or more abstractions, into target code that is guaranteed to execute in a secure manner with respect to a security criteria.

Abstract: A method and apparatus is disclosed herein for constraining the behavior of embedded script in documents using program instrumentation. In one embodiment, the method comprises downloading a document with a script program embedded therein, inspecting the script program, and rewriting the script program to cause behavior resulting from execution of the script to conform to one or more policies defining safety and security. The script program comprises self-modifying code (e.g., dynamically generated script).

Abstract: A method and apparatus is disclosed for performing information flow enforcement for assembly code. In one embodiment, the method comprises receiving assembly code having timing annotations with type information that enforce information flow with respect to one or more of timing-related covert and concurrent channels when statically checked as to whether the code is in violation of a security policy and performing verification with respect to information flow for the assembly code based on a security policy.

Abstract: A method and apparatus is disclosed herein for detecting and preventing unsafe behavior of script programs. In one embodiment, a method comprises performing static analysis of a script program based on a first safety policy to detect unsafe behavior of the scrip program and preventing execution of the script program if a violation of the safety policy would occur when the script program is executed.

Abstract: A method, article of manufacture and apparatus for performing information flow enforcement are disclosed. In one embodiment, the method comprises receiving securely typed native code and performing verification with respect to information flow for the securely typed native code based on a security policy.