VeraCrypt

VeraCrypt

VeraCrypt 1.17 on Windows 10
Developer(s)	IDRIX (based in Paris, France)[1]
Initial release	June 22, 2013 (2013-06-22)
Stable release	1.19 (October 17, 2016 (2016-10-17)[2]) [±]
Repository	veracrypt.codeplex.com/SourceControl/latest
Development status	Active
Written in	C, C++, Assembly
Operating system	Microsoft Windows OS X Linux
Available in	37 languages[3]
Type	Disk encryption software
License	Apache License 2.0 but with portions subject to TrueCrypt License version 3.0[4]
Website	veracrypt.codeplex.com

VeraCrypt is an open-source utility used for on-the-fly encryption (OTFE).^[5] It can create a virtual encrypted disk within a file or encrypt a partition^[6] or (under Microsoft Windows except Windows 8 or GPT) the entire storage device with pre-boot authentication.^[7]

VeraCrypt is a fork of the discontinued TrueCrypt project.^[8] It was initially released on June 22, 2013 and has produced its fourteenth release (version 1.19) as of October 17, 2016.^[9] According to its developers, security improvements have been implemented and issues raised by the initial TrueCrypt code audit have been addressed.^[10]

Encryption scheme

Algorithms

Individual ciphers supported by VeraCrypt are AES, Serpent, Twofish, Camellia, and Kuznyechik. The Magma cipher was removed in version 1.19 in response to a security audit. Additionally, five different combinations of cascaded algorithms are available: AES-Twofish, AES-Twofish-Serpent, Serpent-AES, Serpent-Twofish-AES and Twofish-Serpent.^[11] The cryptographic hash functions available for use in VeraCrypt are RIPEMD-160, SHA-256, SHA-512, Streebog and Whirlpool.^[12]

Modes of operation

VeraCrypt uses the XTS mode of operation.^[13]

Keys

The header key and the secondary header key (XTS mode) are generated using PBKDF2 with a 512-bit salt and 327,661 to 655,331 iterations, depending on the underlying hash function used.^[14]

Security improvements

VeraCrypt has made several security improvements over TrueCrypt.

According to a study released 29 September 2015, TrueCrypt includes two vulnerabilities in the driver that TrueCrypt installs on Windows systems allowing an attacker arbitrary code execution and privilege escalation via DLL hijacking.^[15] This was fixed in VeraCrypt in January 2016.^[16]

While TrueCrypt uses 1000 iterations of the PBKDF2-RIPEMD160 algorithm for system partitions, VeraCrypt uses 327,661 iterations. For standard containers and other partitions, VeraCrypt uses 655,331 iterations of RIPEMD160 and 500,000 iterations of SHA-2 and Whirlpool. While this makes VeraCrypt slower at opening encrypted partitions, it also makes password guessing based attacks slower.^[8]

A vulnerability in the bootloader was fixed on Windows and various optimizations were made as well. The developers added support for SHA-256 to the system boot encryption option and also fixed a ShellExecute security issue. Linux and Mac OS X users benefit from support for hard drives with sector sizes larger than 512. Linux also received support for the NTFS formatting of volumes.

Due to the security improvements, the VeraCrypt storage format is incompatible with that of TrueCrypt. The VeraCrypt development team believes that the old TrueCrypt format is too vulnerable to an NSA attack and thus it must be abandoned. This is one of the main differences between VeraCrypt and its competitor, CipherShed, as CipherShed continues to use the TrueCrypt format. However, beginning with version 1.0f, VeraCrypt is capable of opening and converting volumes in the TrueCrypt format.^[17][18]

Plausible deniability

VeraCrypt supports a concept called plausible deniability,^[19] by allowing a single "hidden volume" to be created within another volume.^[20] In addition, the Windows versions of VeraCrypt has the ability to create and run a hidden encrypted operating system whose existence may be denied.^[21]

The VeraCrypt documentation lists many ways in which VeraCrypt's hidden volume deniability features may be compromised (e.g. by third party software which may leak information through temporary files, thumbnails, etc., to unencrypted disks) and possible ways to avoid this.^[22]

Performance

VeraCrypt supports parallelized^[23]:63 encryption for multi-core systems and, under Microsoft Windows, pipelined read/write operations (a form of asynchronous processing)^[23]:63 to reduce the performance hit of encryption and decryption. On newer processors supporting the AES-NI instruction set, VeraCrypt supports hardware-accelerated AES to further improve performance.^[23]:64 The performance impact of disk encryption is especially noticeable on operations which would normally use direct memory access (DMA), as all data must pass through the CPU for decryption, rather than being copied directly from disk to RAM.

Security concerns

VeraCrypt is vulnerable to various known attacks that also affect other software-based disk encryption software such as BitLocker. To mitigate these attacks, the documentation distributed with VeraCrypt requires users to follow various security precautions.^[22][24] Some of these attacks are detailed below.

Encryption keys stored in memory

VeraCrypt stores its keys in the RAM; on an ordinary personal computer the DRAM will maintain its contents for several seconds after power is cut (or longer if the temperature is lowered). Even if there is some degradation in the memory contents, various algorithms can intelligently recover the keys. This method, known as a cold boot attack (which would apply in particular to a notebook computer obtained while in power-on, suspended, or screen-locked mode), has been successfully used to attack a file system protected by TrueCrypt.^[25]

Physical security

VeraCrypt documentation states that VeraCrypt is unable to secure data on a computer if an attacker physically accessed it and VeraCrypt is then used on the compromised computer by the user again. This does not affect the common case of a stolen, lost, or confiscated computer.^[26] The attacker having physical access to a computer can, for example, install a hardware/software keylogger, a bus-mastering device capturing memory, or install any other malicious hardware or software, allowing the attacker to capture unencrypted data (including encryption keys and passwords), or to decrypt encrypted data using captured passwords or encryption keys. Therefore, physical security is a basic premise of a secure system. Attacks such as this are often called "evil maid attacks".^[27]

Malware

VeraCrypt documentation states that VeraCrypt cannot secure data on a computer if it has any kind of malware installed. Some kinds of malware are designed to log keystrokes, including typed passwords, that may then be sent to the attacker over the Internet or saved to an unencrypted local drive from which the attacker might be able to read it later, when they gain physical access to the computer.^[28]

Trusted Platform Module

The FAQ section of the VeraCrypt website^[29] states that the Trusted Platform Module (TPM) cannot be relied upon for security, because if the attacker has physical or administrative access to the computer and you use it afterwards, the computer could have been modified by the attacker e.g. a malicious component—such as a hardware keystroke logger—could have been used to capture the password or other sensitive information. Since the TPM does not prevent an attacker from maliciously modifying the computer, VeraCrypt will not support TPM.

Security audits

VeraCrypt is based on the source code of TrueCrypt, which passed an independent security audit. Phase I of the audit was successfully completed on 14 April 2014, finding "no evidence of backdoors or malicious code."^[30] Phase II of the audit was successfully completed on 2 April 2015, finding "no evidence of deliberate backdoors, or any severe design flaws that will make the software insecure in most instances."^[31][32]

An independent code audit of VeraCrypt 1.18 was conducted by QuarksLab on behalf of the Open Source Technology Improvement Fund, taking 32 man-days and published on 17 October 2016.^[33][34] The major vulnerabilities identified in this audit were resolved in VeraCrypt 1.19, released the same day.^[35][36]

License and source model

VeraCrypt has been licensed under the Apache License 2.0 since 28 June 2015.^[37] Prior to that, it was released under the Microsoft Public License.^[38] VeraCrypt inherited a substantial amount of code from its TrueCrypt predecessor and thus is also subject to the terms of version 3.0 of the "TrueCrypt License" which is unique to the TrueCrypt software.^[39][40] It is not one of many widely used open source licenses and is not a free software license according to the Free Software Foundation (FSF) license list, as it contains distribution and copyright-liability restrictions.^[41]

Planned features

Planned features include adding the capability to encrypt GPT System Partitions and boot them using UEFI.^[42] This feature (UEFI boot) is available in version 1.18a.

Unicode passwords are currently supported on Windows for all non-system encryption; future plans include providing Unicode capability throughout VeraCrypt.^[43]

See also

• Disk encryption software
• Comparison of disk encryption software

References

External links

Wikimedia Commons has media related to VeraCrypt.

• VeraCrypt website
• TrueCrypt website
• VeraCrypt 1.18 Security Assessment