"Cryptol, the language of cryptography, now available" - представлен предметно-ориентированный язык программирования Cryptol, предназначенный для планирования, реализации и проверки криптографических алгоритмов. Cryptol изначально был разработан по заказу Агентства по Национальной Безопасности (NSA) США. В настоящее время есть возможность загрузить бесплатную для некоммерческого использования бинарную сборку с реализацией языка для Linux, OS X и Windows.