Galois, sebuah perusahaan yang bermarkas di Amerika Serikat, baru-baru ini mengumumkan telah merilis ke public sebuah Domain Specific Language (DSL) untuk desain, implementasi dan verifikasi sebuah algoritma kriptografi yang diberi nama Cryptol. Cryptol sudah cukup lama di ciptakan oleh Galois untuk kepentingan badan NSA (National Security Agency) milik Amerika Serikat dan di klaim telah sukses di gunakan dalam sejumlah proyek, dan digunakan juga di Rockwell Collins, Inc.
Cryptol akan membantu para kriftografer untuk dapat menciptakan referensi spesifikasi dan model umum, melakukan pengujian spesifikasi terhadap test vector yang sudah ada dan banyak lagi. Di rilis ini Galois memberikan lisensi free untuk penggunaan non-commercial, versi ujicoba tersedia untuk Linux, MAcOS dan Windows yang bisa di download di situs resmi Cyptol, berisikan dokumentasi dan contoh. Versi yang di rilis gratis ini tidak mendukung kompilasi ke VHDL, C/C++ ataupun Haskell.