Secure Execution via Program Shepherding.

Vladimir Kiriansky Derek Bruening Saman P. Amarasinghe

Published in: USENIX Security Symposium (2002)

Keyphrases

program execution
execution traces
symbolic execution
computer programs
static analysis
execution model
data sets
source code
test cases
control flow
application programs
cryptographic protocols