@article { , title = {Making Security Validation as Easy as Performance Evaluation}, journal = {Princeton University Department of Electrical Engineering Technical Report CE-L2009-005}, year = {2009}, month = {November 2009}, author = {Yu-Yuan Chen and Jeffrey S. Dwoskin and Mahadevan Gomathisankaran and Ruby B. Lee} }