Published Engineering Starting Point Selection Analytical basis of this method shows the existence and uniqueness of the trajectory of the underlying model. By Binghamton University
Published Software & Platforms Validating Program Execution Fast validation of programs as they execute with very little performance overhead. Mechanism fits easily into existing hardware/software designs. By Binghamton University
Published Sciences Validating Program Execution A simple hardware mechanism to validate the execution of a program continuously for fast validation of the program as it executes. By Binghamton University
Published Telecommunications Control Flow Signatures 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. By Binghamton University
Published Electronics Detection of Program Tampering A technology that enables the detection of tampering of a program as the program executes for security applications. By Binghamton University
Published Electronics Hardware Mechanism A mechanism for validating the legal execution path and instructions that works in parallel with normal program execution and imposes a small performance penalty By Binghamton University
Published Software & Platforms Remotely Executed Program A mechanism for authenticating remote executions on a server in a distributed environment, validating what is executed at the server on behalf of the client By Binghamton University
Published Software & Platforms Remotely Executed Program A mechanism for authenticating remote executions on a server in a distributed environment, validating what is executed at the server on behalf of the client By Binghamton University