0 Yu-Yuan Chen Jeffrey S. Dwoskin Mahadevan Gomathisankaran Ruby B. Lee 2009 Making Security Validation as Easy as Performance Evaluation Princeton University Department of Electrical Engineering Technical Report CE-L2009-005 November 2009