Abstract: Methods, systems, and computer-readable mediums for detection of policy violations in an unmodified binary in a virtual environment include receiving the unmodified binary in an executable and linkable format (ELF). The unmodified binary is executed, via an emulator, within the virtual environment. The executing includes determining, by an instruction set emulator, a symbol that is referenced during the executing of the unmodified binary. The symbol, a current state, and a global state is sent to a software policy engine. The software policy engine determines an assertion associated with the symbol. The assertion verifies a policy is enforced. A previous state is updated based on the symbol. The assertion is executed based on the current state, the previous state, and the global state. The assertion is determined to have failed based on the executing the assertion. A warning is logged indicating the failed assertion.

Abstract: A reconfigurable polar molecule includes a symmetric nonpolar molecule portion having an elongated shape defined by a longitudinal axis and lateral axis, the longitudinal axis being longer than the lateral axis; a positive ionically charged group at a first end and a negative ionically charged group at a second end of the longitudinal axis, the positive and negative ionically charged groups forming a permanent dipole; a first bridging group and a second bridging group on opposing ends of the lateral axis, the first and second bridging groups being linear nonpolar groups; and a first support portion bonded to the first bridging group, and a second support portion bonded to the second bridging group, the first bridging group and the second bridging group being nonpolar and having structures that enable free rotation of the symmetric nonpolar molecule portion through the first bridging group and the second bridging group.

Abstract: Methods, systems, and computer-readable mediums for detection of policy violations in an unmodified binary in a virtual environment include receiving the unmodified binary in an executable and linkable format (ELF). The unmodified binary is executed, via an emulator, within the virtual environment. The executing includes determining, by an instruction set emulator, a symbol that is referenced during the executing of the unmodified binary. The symbol, a current state, and a global state is sent to a software policy engine. The software policy engine determines an assertion associated with the symbol. The assertion verifies a policy is enforced. A previous state is updated based on the symbol. The assertion is executed based on the current state, the previous state, and the global state. The assertion is determined to have failed based on the executing the assertion. A warning is logged indicating the failed assertion.

Abstract: A support structure for a reconfigurable molecule includes a first support portion having a first mounting region; a second support portion having a second mounting region; and a rotatable molecule anchored between the first support portion and the second support portion on the first mounting region and the second mounting region, the rotatable molecule having an internal rotational axis extending from the first mounting region to the second mounting region; wherein the first support portion and the second support portion are mirror images of one another.

Abstract: A support structure for a reconfigurable molecule includes a first support portion having a first mounting region; a second support portion having a second mounting region; and a rotatable molecule anchored between the first support portion and the second support portion on the first mounting region and the second mounting region, the rotatable molecule having an internal rotational axis extending from the first mounting region to the second mounting region; wherein the first support portion and the second support portion are mirror images of one another.

Abstract: A reconfigurable polar molecule includes a symmetric nonpolar molecule portion having an elongated shape defined by a longitudinal axis and lateral axis, the longitudinal axis being longer than the lateral axis; a positive ionically charged group at a first end and a negative ionically charged group at a second end of the longitudinal axis, the positive and negative ionically charged groups forming a permanent dipole; a first bridging group and a second bridging group on opposing ends of the lateral axis, the first and second bridging groups being linear nonpolar groups; and a first support portion bonded to the first bridging group, and a second support portion bonded to the second bridging group, the first bridging group and the second bridging group being nonpolar and having structures that enable free rotation of the symmetric nonpolar molecule portion through the first bridging group and the second bridging group.