ryptol, a 'domain specific language for the design, implementation and verification of cryptographic algorithms,' is now available to the public. Cryptol was originally designed for the NSA. It allows for a quick evaluation and continued revisions, and is available for Linux, OS X, and Windows.
In this release, Galois has made a implementation of the Cryptol language available free of charge for non-commercial uses.
The trial version is available for Linux, MacOS, and Windows installations and can be downloaded at the Cryptol site. The trial version is meant for language exploration. It includes a Cryptol interpreter with QuickCheck capabilities, documentation, and examples. The open version does not compile to VHDL, C/C++, or Haskell, and does not produce the formal models used for equivalence checking.
Cryptol is implemented in Haskell.
Galois: Cryptol
Ophcrack
[...]
Read more »sharph.net " Blog Archive " Encrypted offsite backup with EncFS, Amazon S3, and s3cmd
I recently found that s3cmd could do an rsync-like sync of a directory. That’s cool, but it doesn’t do encrypted backups like Jungle Disk did. In this post, I’ll demonstrate how to make an encrypted backup of locally unencrypted data using EncFS, Amazon S3, and s3cmd."
Read more »Schneier.com
[...]
Read more »Cryptol
"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"
Read more »Netscape Key Database
This information relates to the format used by Communicator 4.X, 4.5X and 4.7X. Older Netscape servers and version 3.0 of Navigator use a different format: information about this format will be made available in due course
Read more »