MpNT is a multi-precision number theory library that provides a base for building cryptographic applications. It may also be used in any other domain where efficient large number computations are required. The library supports integer, modular, and floating point arithmetic with practically unlimited precision. It is both speed efficient and highly portable without disregarding code structure and clarity.
ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.
Whisper IM is a secure IM client that provides end-to-end encryption over a XMPP/Jabber network. The encryption system (The Whisper Protocol) is designed for instant messaging, and is IM protocol and platform neutral. It supports all standard instant messaging features, such as messages, one to one chat, and online presence. The user interface is clean and easy to use. It also features multi-user chat (JEP45), context sensitive help, a service discovery tool (JEP30), and internationalization support.
Rsyncrypto allows you to encrypt a file or a directory structure such that they can later be synchronized to another machine using rsync. This means that local changes to the plain text file result in local changes to the cipher text file. rsyncrypto compresses the plain text file prior to encrypting it with gzip using the "rsyncable" patch, which is available from the rsync sources.
The Off-the-Record (OTR) Messaging proxy is a multi- platform proxy that allows you to have private conversations using the AIM client of your choice. It provides encryption, which prevents someone who intercepts your instant messages from reading them, authentication, which ensures that the correspondent is who you think it is, and perfect forward secrecy, which ensures that no previous conversation is compromised if you lose control of your private keys.
OpenSignature is a project for the digital signature of documents. It works with all cards supported by OpenSC, and focuses on adding support for cards from accredited Italian CAs. The goal is to provide the first single product capable of supporting cards from multiple vendors/countries. This contrasts the approach taken by card vendors/providers whose software follows an exclusive single-vendor approach. OpenSignature attempts to make a major contribution to interoperability in the digital signature domain, and aims to greatly facilitate the setup of public access points that are currently the objective of several projects in Italy.
EverCrack is a cryptanalysis engine. The overall design goal is to systematically break down complex ciphers into their simplex components for cryptanalysis (by the kernel). The kernel consists of an algebraic design (comparison and reduction) for breaking uniliteral, monoalphabetic ciphers instantaneously. Currently, it can break a 4000-word cipher in milliseconds. EverCrack currently has multi-language support for the user interface and cracking encryption in other language dictionaries (English, German, French, Spanish, Italian, Swedish, Dutch, and Portuguese).