TrueCrypt's Security Audit Is Finally Done, with (Mostly) Good Results