Translation Validation for Security Properties