Cryptol, languange of Cryptography
Posted by y3dips on December 30 2008 15:16:54
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.
Extended News
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.

Untuk versi lengkapnya, dapat menghubungi Galois