Spook-ing the Violations of Virtual Remote Secure Properties