Hard Disk Encryption With Block Ciphers by Thomas Wenninger