RSS 52 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 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 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).

Download Website Updated 10 May 2006 Cryptonit

Screenshot
Pop 40.06
Vit 3.23

Cryptonit is a client side cryptographic tool which allows you to encrypt/decrypt and sign/verify files with PKI (Public Key Infrastructure) certificates.

No download Website Updated 17 Oct 2003 Enhanced File Crypt/eXtended File Stealth ...

Screenshot
Pop 44.94
Vit 1.00

The Enhanced File Crypt/eXtended File Stealth System (EFC/XFSS) makes your uploaded files safe on the server so that no one can read them without knowing a few details to decipher the files. It generates different obfuscated names and encrypted files so no one will know what the original format or name was.

Download Website Updated 08 May 2007 Enigmail

Screenshot
Pop 205.52
Vit 5.62

Enigmail is an extension for the mail client of Mozilla, Netscape 7.x, and Mozilla Thunderbird that allows users to access the authentication and encryption features provided by the popular GnuPG software. It can encrypt/sign mail when sending, decrypt/authenticate received mail, and import/export public keys. It supports both the inline PGP format and the PGP/MIME format, which can be used to encrypt attachments, and is cross-platform, although binaries are supplied only for a limited number of platforms. Enigmail uses inter-process communication to execute GPG to carry out encryption/authentication.

No download Website Updated 06 Oct 2006 EverCrack

Screenshot
Pop 58.86
Vit 3.57

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).

Download Website Updated 29 May 2012 GNU SASL

Screenshot
Pop 200.23
Vit 12.91

GNU SASL is an implementation of the Simple Authentication and Security Layer framework and a few common SASL mechanisms. SASL is used by network servers such as IMAP and SMTP to request authentication from clients, and in clients to authenticate against servers. The library includes support for the SASL framework (with authentication functions and application data privacy and integrity functions) and at least partial support for the CRAM-MD5, EXTERNAL, GSSAPI, ANONYMOUS, PLAIN, SECURID, DIGEST-MD5, LOGIN, NTLM, and KERBEROS_V5 mechanisms.

Download Website Updated 08 Apr 2014 GNUnet

Screenshot
Pop 700.27
Vit 174.06

GNUnet is a peer-to-peer framework with focus on providing security. All peer-to-peer messages in the network are confidential and authenticated. The framework provides a transport abstraction layer and can currently encapsulate the network traffic in UDP, TCP, HTTP, HTTPS, or direct 802.11 (WLAN). GNUnet supports accounting to provide contributing nodes with better service. The services built on top of the framework include anonymous file sharing and a virtual network providing IPv4-IPv6 transition via protocol translation over the P2P network.

Download No website Updated 23 Oct 2003 GPA

Screenshot
Pop 114.10
Vit 2.56

The GNU Privacy Assistant is a graphical frontend to GnuPG and may be used to manage the keys and encrypt/decrypt/sign/check files. It is much like Seahorse.

Screenshot

Project Spotlight

TEA

A modest and easy-to-use editor with many useful features for HTML editing.

Screenshot

Project Spotlight

MUltihost SSH Wrapper

Broadcasts commands over SSH to multiple hosts.