26
Dec
NSA has released Cryptol
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.
Tags: c, compile, cryptography, cryptol, download, galois, haskell, nsa, programming, specification, tool, vhdl
This entry was posted
on Friday, December 26th, 2008 at 21:21:52 and is filed under English.
You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.
Leave a reply