We describe a novel software verification primitive called Oblivious Hashing. Unlike previous techniques that mainly verify the static shape of code, this primitive allows implicit computation of a hash value based on the actual execution (i.e., space-time history of computation) of the code. We also discuss its applications in local software tamper resistance and remote code authentication.
['YuQun Chen', 'Ramwarathnam Venkatesan', 'Matthew Cary', 'Ruoming Pang', 'Saurabh Sinha', 'Mariusz H. Jakubowski']
Oblivious hashing: A stealthy software integrity verification primitive