RSS 132 projects tagged "Windows"

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 73.97
Vit 4.96

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 12 Jul 2009 BeeCrypt

Screenshot
Pop 214.61
Vit 6.62

BeeCrypt is an ongoing project to provide strong and fast cryptography in the form of a toolkit usable by commercial and open source projects. Included in the library are entropy sources, random generators, block ciphers, hash functions, message authentication codes, multiprecision integer routines, and public key primitives.

No download Website Updated 09 Apr 2014 Bitcoin Core

Screenshot
Pop 508.67
Vit 57.84

Bitcoin is a peer-to-peer electronic cash system that is completely decentralized, without the need for a central server or trusted parties. Users hold the crypto keys to their own money and transact directly with each other, with the help of a P2P network to check for double-spending.

Download Website Updated 03 Mar 2013 Botan

Screenshot
Pop 442.89
Vit 42.52

Botan is a crypto library written in C++. It provides a variety of cryptographic algorithms, including common ones such as AES, MD5, SHA, HMAC, RSA, Diffie-Hellman, DSA, and ECDSA, as well as many others that are more obscure or specialized. It also offers SSL/TLS (client and server), X.509v3 certificates and CRLs, and PKCS #10 certificate requests. A message processing system that uses a filter/pipeline metaphor allows for many common cryptographic tasks to be completed with just a few lines of code. Assembly and SIMD optimizations for common CPUs offers speedups for critical algorithms like AES and SHA-1.

Download Website Updated 17 Sep 2003 Bugs Dynamic Cryptography

Screenshot
Pop 17.23
Vit 1.00

Bugs Dynamic Cryptography is a private key cryptography algorithm. The package includes a C Library and many sample applications, including ones for file encryption, secure chatting, and login applications. The algorithm handles stream and block encryption, unlimited Keylength, and a strong key generator. Documentation and a developer HOWTO are included.

Download Website Updated 13 Dec 2001 CDSA 2

Screenshot
Pop 40.25
Vit 1.49

CDSA stands for Common Data Security Architecture. It provides a security framework that includes cryptographically signed modules to present an abstracted unified API to the application developer to perform cryptographic and security related operations. It also includes hardware support for cryptographic tokens and biometric devices, such as thumbprint scanners. Intel has implemented the CDSA 2 specification and released it as open source.

Download Website Updated 10 Aug 2007 Checkpoint Commander

Screenshot
Pop 25.22
Vit 2.52

Checkpoint Commander is a cross-platform file management, viewing, and archiving / security tool. It includes optional archive encryption using AES (AES-CBC-HMAC-SHA1).

No download Website Updated 24 Apr 2005 ClearWatch

Screenshot
Pop 26.66
Vit 1.00

ClearWatch is an easy to use tool that provides the ability to monitor both encrypted and unencrypted network traffic for protocols such as Web, mail, (SMTP, POP3, and IMAP), FTP, and telnet. It shows individual connections and groups the data sent by client and servers.

Download Website Updated 02 May 2003 Codelock

Screenshot
Pop 43.01
Vit 1.00

Codelock is a full PHP/HTML code encryptor. It can protect PHP source for distribution. It encrypts the entire PHP page, and supports PHP combined with HTML and JavaScript. It uses unconventional encryption algorithms, and encrypts each page with a unique key, so no two decryptors are the same.

Download Website Updated 11 Nov 2009 CryptoTE

Screenshot
Pop 25.38
Vit 1.00

CryptoTE is a text editor with integrated strong cryptography. It is based on the popular Scintilla widget and automatically stores text data in secure encrypted container files. Compared to other "password keeper" programs, CryptoTE does not force any structure upon your data: it works with plain ASCII text and does not require you to fill in grids, key-value attributes, or descriptions. Encryption is transparently performed using the highly-secure Serpent cipher. The editing interface is thoroughly optimized for speed and ease of use. Multiple subfiles, Quick-Find, and a two-click random password generator make daily use very convenient.

Screenshot

Project Spotlight

OpenDNSSEC

A program that secures zone data before it is published in an authoritative name server.

Screenshot

Project Spotlight

Crossfire

A graphical, multi-user, 2D, tile-based role playing game