Verifying Platform Security...