Virus scanning is enabled by default but what are they using - Symantec, McAfee, Sophos, something else?

Thanks in advance.