Explore the TrueCrypt audit process, its findings, and implications in this comprehensive conference talk from Circle City Con 2014. Delve into the background of the audit, including NIST's involvement, crowdfunding efforts, and the formation of a nonprofit organization. Examine the technical aspects of the audit, including bug discovery, security assessments, and overall findings. Discuss the unexpected shutdown of TrueCrypt and its peculiarities. Analyze the broader implications for cryptography, including export controls, usability challenges, and trust issues. Address questions about TrueCrypt's current status, documentation, and formal verification. Gain insights into the complexities of conducting security audits and the importance of transparent, community-driven efforts in maintaining trust in encryption software.