Home
Reading
Searching
Subscribe
Sponsors
Statistics
Posting
Contact
Spam
Lists
Links
About
Hosting
Filtering
Features Download
Marketing
Archives
FAQ
Blog
 
Gmane
From: Don Stewart <dons <at> galois.com>
Subject: ANNOUNCE: Cryptol now freely available
Newsgroups: gmane.comp.lang.haskell.cafe
Date: Thursday 25th December 2008 00:02:18 UTC (over 8 years ago)
Galois is pleased to announce that Cryptol, the language of cryptography,
is
now available to the public!

Cryptol is a domain specific language for the design, implementation and
verification of cryptographic algorithms, developed over the past decade by
Galois for the United States National Security Agency. It has been used
successfully in a number of projects, and is also in use at Rockwell
Collins,
Inc. Cryptol is implemented in Haskell.

Domain-specific languages (DSLs) allow subject-matter experts to design
solutions in using familiar concepts and constructs. Cryptol, as a DSL,
allows
domain experts in cryptography to design and implement cryptographic
algorithms
with a high degree of assurance in the correctness of their design, and at
the
same time, producing a high performance implementation of their algorithms.

In this release, Galois has made a implementation of the Cryptol language
available free of charge for non-commercial uses.

More information on the blog:

    http://www.galois.com/blog/2008/12/24/cryptol-the-language-of-cryptography-now-available/

And at http://www.cryptol.net

Enjoy!
 
CD: 3ms