The Seventh International Workshop on Secure Software Engineering (SecSE 2013 )