Of the choices, the only true encryption softwares are EFS and Bitlocker. EFS is a file level encryption that works in coordination with NTFS, while Bitlocker is a much stronger encryption that encrypts the entire hard drive, not just single files.
Wikipedia
BitLocker is a full volume encryption feature included with Microsoft Windows versions starting with Windows Vista. It is designed to protect data by providing encryption for entire volumes. By default, it uses the Advanced Encryption Standard (AES) algorithm in cipher block chaining (CBC) or "xor–encrypt–xor (XEX)-based Tweaked codebook mode with ciphertext Stealing" (XTS) mode with a 128-bit or 256-bit key. CBC is not used over the whole disk; it is applied to each individual sector.