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.
Site
You may chose to read only in Swedish or only in English. If you want you can check out the RSS feed for new posts or for comments.
Du kan välja på att läsa endast svenska artiklar eller bara på engelska. Det finns också RSS-flöden för artiklar och RSS-flöden för kommentarer.
Recent Comments
- Ichimusai on Running in the dark
- Lauren on Running in the dark
- Lauren on Training Weeks 28-29
- Ichimusai on Swapping variables
- Jonas on Swapping variables
- Ichimusai on Alltid lika aktuell
- Steffe on Alltid lika aktuell
- Lauren on Training Wk 25-27
- Ichimusai on Science Fiction man bör se
- Linnéa on Science Fiction man bör se
- Mary Boozer on AE-L/AF-L button has 2 hidden functions
- Ichimusai on 7 weeks to my first race!
- Lauren on 7 weeks to my first race!
- Ichimusai on 7 weeks to my first race!
- Lauren on 7 weeks to my first race!
Leave a reply