Vladimir Kiriansky Derek Bruening Saman P. Amarasinghe Secure Execution via Program Shepherding. 191-206 2002 conf/uss/2002 USENIX Security Symposium http://www.usenix.org/publications/library/proceedings/sec02/kiriansky.html db/conf/uss/uss2002.html#KirianskyBA02