Bitlocker cryptographic algorithm published

The Microsoft System Integrity Team Blog has posted a link to the Bitlocker Cryptographic algorithm.
The amazing thing is that the paper is from Microsoft, on Microsoft’s site, yet its in PDF. I’m kind of used to Microsoft documentation being placed in a signed self-extracting archive. In the article they discuss why existing ciphers were not satisfactory. They are using AES in CBC mode, but using a dedicated diffuser for security against manipulation attacks.
In the crypto world, an algorithm needs to be widely examined before it is trusted for use. In this paper, Microsoft explains why they have combined a widely tested AES-CBC with a new component, the Elephant diffuser. They feel that this gives the best of both worlds, the tested security of AES-CBC, and the additional security properties of the diffuser.