Umesh Shankar Monica Chew J. D. Tygar Side Effects Are Not Sufficient to Authenticate Software. 89-102 2004 conf/uss/2004 USENIX Security Symposium http://www.usenix.org/publications/library/proceedings/sec04/tech/shankar.html db/conf/uss/uss2004.html#ShankarCT04