Expect to see an announcement on this in the next few weeks…
R65 HFA30 and SmartConsole R65 HFA01 have achieved a Common Criteria certification level of EAL4. This certification covers a broad selection of CheckPoint products including appliances. The certified products are as follows:
Firewall, VPN, IDS and remote access gateway including SNX. The official announcement will most likely be made at RSA.