19 projects tagged "Security"
Updated 16 Jan 2009
Mobius Program Verification Environment
| Pop | 25.30 |
|---|---|
| Vit | 39.84 |
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.
Updated 21 Aug 2008
MonoDecrypt
| Pop | 17.49 |
|---|---|
| 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.
Updated 14 Dec 2009
Virtual Ideal Functionality Framework
| Pop | 50.41 |
|---|---|
| Vit | 4.04 |
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.
Updated 25 Feb 2008
BinarySEC
| Pop | 49.60 |
|---|---|
| Vit | 2.49 |
BinarySEC is an intelligent Web application firewall designed to suppress malicious traffic on Web sites and applications. Its artificial intelligence engine learns normal traffic and blocks malicious requests with very high accuracy. BinarySEC secures against a wide range of attacks, including cross-site scripting (XSS), SQL injection, command injection, PHP includes, parameter tampering, buffer overflow, directory traversal, attack obfuscation, and more. BinarySEC for Apache includes a graphical installer and a Web-based administration interface.
Updated 18 Oct 2006
Raiden
| Pop | 13.19 |
|---|---|
| Vit | 49.08 |
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.
Updated 11 Apr 2011
ACL2
| Pop | 86.35 |
|---|---|
| Vit | 5.64 |
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.
Updated 18 Dec 2004
MpNT
| Pop | 19.44 |
|---|---|
| Vit | 55.48 |
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.
Updated 18 Nov 2004
Ganzúa
| Pop | 20.74 |
|---|---|
| Vit | 1.41 |
Ganzúa is a cryptanalysis tool for classical ciphers (monoalphabetic and polyalphabetic) that lets the user define almost completely arbitrary cipher and plain alphabets, allowing for the proper cryptanalysis of cryptograms obtained from non-English text.
Updated 04 Jun 2008
alph
| Pop | 90.47 |
|---|---|
| Vit | 6.35 |
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.
Updated 12 Sep 2004
General Purpose Hash Function Library
| Pop | 57.41 |
|---|---|
| Vit | 1.42 |
The General Purpose Hash Function Algorithm library contains implementations for a series of commonly used additive and rotative string hashing algorithms in the C++ programming language.
