Enables the tampering of a program to be detected as the program executes. Fast validation of programs as they execute with very little performance overhead.
This technology provides a relatively simple hardware mechanism to validate the execution of a program continuously, as it executes. This mechanism not only validates the execution of the application, but also validates the execution of library functions and the kernel. The present technology lends itself to modern pipelined design, and exploits modern processor architectures, permitting initial stages of program execution to speculatively execute with a contingent subsequent exception or flushing occurring dependent on the verification status.
In differing variations, the control flow signatures are either computed for the instructions within each individual basic block and verified against an expected signature of that basic block, or computed and accumulated into a single variable as control flows through each basic block in the course of executing a program.
Enables the tampering of a program to be detected as the program executes.
Fast validation of programs as they execute with very little performance overhead.
Mechanism fits easily into existing designs.
US 8,782,435, US 8,904,189 & patent pending.