@article { , title = {A Framework for Testing Hardware-Software Security Architectures}, journal = {Princeton University Department of Electrical Engineering Technical Report CE-L2009-001}, year = {2009}, note = {Updated June 2009}, month = {February 2009}, URL = {http://palms.ee.princeton.edu/PALMSopen/Dwoskin200906_TestingFramework.pdf}, author = {Jeffrey Dwoskin;Mahadevan Gomathisankaran;Ruby B. Lee} }