Spring 2013 updates: security lecture, extra credit assignment