RSS 28 projects tagged "Cryptography"

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 74.30
Vit 4.97

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.

Download Website Updated 20 Feb 2011 C++ Elliptic Curve Cryptography library

Screenshot
Pop 124.78
Vit 7.70

Libecc is a C++ elliptic curve cryptography library that supports fixed-size keys for maximum speed. The goal of this project is to become the first free Open Source library providing the means to generate safe elliptic curves, and to provide an important source of information for anyone with general interest in ECC.

Download Website Updated 14 Dec 2009 Virtual Ideal Functionality Framework

Screenshot
Pop 40.39
Vit 3.87

Virtual Ideal Functionality Framework is a framework for creating efficient and secure multi-party computations (SMPC). Players, who do not trust each other, participate in a joint computation based on their private inputs. The computation is done using a cryptographic protocol which allows them to obtain a correct answer without revealing their inputs. Operations supported include addition, multiplication, and comparison, all with Shamir secret shared outputs.

Download Website Updated 30 Sep 2009 Bit::Vector

Screenshot
Pop 180.18
Vit 7.24

Bit::Vector is a (stand-alone) C library and an object-oriented Perl module (with overloaded operators) which allows you to handle bit vectors, sets (of integers), "big integer arithmetic" (e.g. for cryptography), and boolean matrices (all of arbitrary size) very efficiently.

Download Website Updated 28 Mar 2009 Obol

Screenshot
Pop 18.33
Vit 2.08

Obol is a specialized high-level programming language for security protocols. The idea is to program closer to the abstractions used to describe and analyze security protocols, and leave all the nasty details to the language's runtime. The runtime will then handle "mundane" issues such as message representation, communication, cryptographic transformations and so on. The language is interpreted, and the runtime written in Java.

Download Website Updated 16 Jan 2009 Mobius Program Verification Environment

Screenshot
Pop 26.91
Vit 43.81

The Mobius verification environment supports the development of specifications, programs, and proofs of their security properties. It will support both source code and bytecode level verification, and be able to produce the output necessary for the generation of PCC certificates.

Download Website Updated 24 Aug 2008 amigadepacker

Screenshot
Pop 28.72
Vit 2.43

Amigadepacker uncompresses various compression formats used on AmigaOS. The supported formats are PowerPacker, XPK SQSH, MMCMP, and StoneCracker 4.04. It can also decrypt PowerPacker encrypted data files.

Download Website Updated 21 Aug 2008 MonoDecrypt

Screenshot
Pop 17.41
Vit 1.00

MonoDecrypt uses pattern matching and its knowledge about character frequencies in order to decrypt messages encoded with a monoalphabetic substitution cipher. MonoDecrypt can decrypt texts of any language, as long as it has sufficient information about the language. Depending on the information you give it, the tool decrypts about 50%-100% on its own. Then you can decrypt the remaining data by filling the gaps or correcting bad guesses. MonoDecrypt can also encrypt texts using monoalphabetic substitution.

Download No website Updated 04 Jun 2008 alph

Screenshot
Pop 84.17
Vit 6.14

alph implements and analyzes historical and traditional ciphers and codes, such as polyalphabetic, substitutional, and mixed employing human-reconstructable algorithms. It provides a pipe filter interface in order to encrypt and decrypt block text to achieve transparency. The program is meant to be used in conjunction with external programs that transfer data, resulting in transparent encryption or decryption of information. The program can thus be used as a mail filter, IRC filter, IM filter, and so on.

No download Website Updated 18 Oct 2006 Raiden

Screenshot
Pop 11.40
Vit 52.35

Raiden is an extremely lightweight and fast block cipher, developed using genetic programming. Its aims are to be simple enough to be remembered by heart and to be compact, highly portable, and light enough to be implemented in resource constrained environments. It was developed with the intention of being an alternative to TEA, with the same speed and without any of its known weaknesses.

Screenshot

Project Spotlight

Flowgrind

A tool to conduct TCP performance analysis.

Screenshot

Project Spotlight

GNU Parallel

Software to build and execute shell command lines from standard input in parallel.