CryptoCore
- CryptoCore V2.0 is certified for Windows 7 and OS X10.7 32/64 bit includes AES-NI with certificate FDE 7.5 and E80.40 use the certified module and commence support for Windows 8 with UEFI
- CryptoCore 2.0 (16 bit preboot for FDE)
- The Security Gateway with firewall and VPN Software Blades certificate 1977 is certified to FIPS 140-2
- Security Management is certified with certificate 1978
- VSX is certified with certificate 1976
- Provider-1 is certified with certificate 1979
- Check Point IP Appliance 1551 1552
- Connectra 1474
- FDE CryptoCore: Commencing from FDE 7.5 and Endpoint E80.40 we include 2 certificates (the 1st for pre-boot and the 2nd for Windows and OS X in both 32 and in 64 bit:
- CryptoCore 2.0 (16 bit preboot for FDE) 1997
- CryptoCore V2.0 is certified for Windows 7 and OS X 10.7 32/64 bit Inc. AES-IC with certificate 1959 FDE 7.5 and E80.40 use the certified module and commences support for Windows 7 with UEFI
- Check Point Full Disk Encryption for Symbian9 770
- Check Point Media Encryption 784
- Pointsec Mobile 1100
- CryptoCore V4.0 is certified for:
- Microsoft Windows 10 Anniversary Update (64-bit) with and without PAA (User Space and Kernel Space) 2788
- Apple MacBook macOS Sierra 10.12 with and without PAA* (User Space and Kernel Space, and single-user mode) 2788
*PAA = Processor Algorithm Accelerator, which in practice is AES-NI