Audit of TrueCrypt