Ichimusai's Place » cryptol http://www.ichimusai.org Photos and other rants Sun, 12 Feb 2012 19:56:49 +0000 en hourly 1 http://wordpress.org/?v=3.3.1 NSA has released Cryptol http://www.ichimusai.org/2008/12/26/nsa-has-released-cryptol/ http://www.ichimusai.org/2008/12/26/nsa-has-released-cryptol/#comments Fri, 26 Dec 2008 20:21:52 +0000 Ichimusai http://www.ichimusai.org/?p=1255  Cryptol is a language used to specify, implement, test and verify cryptographical algorithms. I have just taken a first glance at it and it seems really competent. All cryptography buffs out there should rejoice over this tool.

Cryptol can further “compile” your cryptographic algorithms into languages such as VHDL, C and Haskell. You may download a trial version for non-commercial uses from the galois site.

]]> http://www.ichimusai.org/2008/12/26/nsa-has-released-cryptol/feed/ 0