0 Jeffrey Dwoskin Mahadevan Gomathisankaran Ruby B. Lee 2009 A Framework for Testing Hardware-Software Security Architectures Princeton University Department of Electrical Engineering Technical Report CE-L2009-001 February 2009 Updated June 2009 http://palms.ee.princeton.edu/PALMSopen/Dwoskin200906_TestingFramework.pdf