← All repos

AuditProject/truecrypt-verified-mirror

View on GitHub ↗ ★ 871 Standard ML

Verified Windows, OSX, Linux TrueCrypt v. 7.1a binaries and source files

3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2015-04-02 · latest 2015-10-01