[Cryptech Tech] cryptol

[Joachim Strömbergson]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Aloha!

Daniel Cegiełka wrote:
> http://www.cryptol.net/
> 
> http://corp.galois.com/storage/files/downloads/Empowering%20the%20Experts_web.pdf
>
>  Cryptol is a domain-specific language for specifying cryptographic 
> algorithms and was designed for internal use in NSA. Cryptol code 
> could be compiled to C or VHDL.

Cryptol is a pretty cool tool. I tested it a few years ago generating an
implementation of the XTEA block cipher with good results. Cryptol was
released as 3-clause BSD licensed code a while back.

https://github.com/GaloisInc/cryptol

- -- 
Med vänlig hälsning, Yours

Joachim Strömbergson - Alltid i harmonisk svängning.
========================================================================
 Joachim Strömbergson          Secworks AB          joachim at secworks.se
========================================================================
-----BEGIN PGP SIGNATURE-----
Version: GnuPG/MacGPG2 v2.0.22 (Darwin)
Comment: GPGTools - http://gpgtools.org
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iQIcBAEBCAAGBQJTX10DAAoJEF3cfFQkIuyNRbIP/36nay8KzPLMOs7rLnza0z0H
8/Kx7Ql4x1HNy2QHI/jBz/JIMNitRH65EvxBINUt/PywiRAgxbfY66N4n57Pifeb
3SDFPql82syF14QG4RWaEn+PWmZ7BLwCAPHu2eJ59FUCWIwr9APnNFc74FuhWqfp
0Zr24EB2Htbgf0tVLZIG4IR98joAidGDPqH483suPEg8kEz0CP1ZAnV3fkgLVgdK
+lwul+e5Zq0Wsl/2GqUH/gK+gumF/3ugnRVgo1CPo0/2wMZPcYCdpLQE2vdC1Ym+
uDL8oo/FE9P3vwE30c6y0jX2/+rUI/TQyx7ovbjFc1RtOIXNrxXeUw+6u5hipNn6
UBdXJCTSGy3zDcZUhvAa5+IHCSLrMru2VBnjNyWF60WxpWdKPl2yRYtiMerNrqgF
Oh6vsQoZkT19HPAnXWJ4xLjDdxBWCQVMw/cKPyCROQATQFwAShGC+rd5lwP/bRRd
lJDi+5E7rrZADE9VIbdplW3VyKr1XgPqGCsDvuh9k+2fPEWbIq3aE2eWNT45nySg
RAHhKfpK0G0KndolJiLhMUEAArSimfUlmNf8RS0dcG3lkHMwGNVDe/IClTJSQ0st
BeaX6raCgOCiUEQwtg/0XXSoDR1CmFRcjkP5EQ1AzFnh8o2XJ4Spz7di71/bLyhs
L8Y7IswSjywHp8Hv5vF3
=yVXR
-----END PGP SIGNATURE-----