Bei dieser Studie handelt es sich um eine Sicherheitsanalyse des Software-Verschlüsselungsprodukts TrueCrypt. Ziel war es, mögliche Schwachstellen aufzudecken und Verbesserungsmöglichkeiten aufzuzeigen. Die Untersuchungen erstreckten sich bis zur Quelltextprüfung und fanden u. A. mittels automatisierter Code-Analyse statt.