Binary Level Software Partitioning to Trusted Hardware

In this proposal we outline the infrastructure for automating the partitioning/mapping of code snippets and data at the binary level in hardware-assisted software protection solutions. All techniques will be developed with the objective of achieving the highest possible security and flexibility. The approach has several innovative components including the ability to select the critical codes with a graphical user interface at the binary level (including source-level semantic information such as procedure names), the ability to protect applications compiled for various host CPU and HPD ISAs, cross-compilation to HPDs, and support for distributed applications and HPDs. The approach supports both static and dynamic mapping to HPDs: e.g., the HPDs used for co-execution can be dynamically changed at runtime providing additional security and performance benefits.