41 projects tagged "Windows"
Updated 11 Apr 2011
ACL2
| Pop | 88.45 |
|---|---|
| Vit | 5.65 |
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 17 Sep 2003
Bugs Dynamic Cryptography
| Pop | 18.49 |
|---|---|
| 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.
Updated 13 Dec 2001
CDSA 2
| Pop | 44.77 |
|---|---|
| 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.
Updated 17 Sep 2003
CyberFusion
| Pop | 16.22 |
|---|---|
| Vit | 59.42 |
CyberFusion is a system that provides secure file transfer across a LAN, a WAN, and the Internet. It offers encryption and security, reliability and guaranteed delivery, management and automation, audit and control. It offers cost-saving migration from competitor products such as Connect:Direct which is supported with useful tools. It may be used as part of a VPN, ERP, EAI, or ETL software solution for secure file transfers as well as in disaster recovery, data archive, and backup and restore operations.
Updated 26 Sep 2004
Cyfer
| Pop | 22.91 |
|---|---|
| Vit | 1.00 |
Cyfer is a portable modular low-level cryptographic library with support for several programming languages. It provides implementations of message digest (hash), block and stream cipher, and public-key algorithms.
Updated 02 Apr 2010
DeleGate
| Pop | 402.41 |
|---|---|
| Vit | 17.86 |
DeleGate is a multi-purpose application level gateway or proxy server that mediates communication of various protocols, applying cache and conversion for mediated data, controlling access from clients, and routing toward servers. It translates protocols between clients and servers, converting between IPv4 and IPv6, applying SSL (TLS) to arbitrary protocols, merging several servers into a single server view with aliasing and filtering. It can be used as a simple origin server for some protocols (HTTP, FTP, and NNTP).
Updated 21 Jun 2007
EasyCrypt
| Pop | 17.44 |
|---|---|
| Vit | 1.42 |
EasyCrypt is a simple command line program that encrypts and decrypts files using the AES standard and a password given by the user.
Updated 17 Jul 2007
Engine_pkcs11
| Pop | 48.17 |
|---|---|
| Vit | 1.97 |
Engine_pkcs11 is an implementation of an engine for OpenSSL. It can be loaded using code, config file, or command line and will pass any function call by openssl to a PKCS#11 module. Engine_pkcs11 is meant to be used with smart cards and software for using smart cards in PKCS#11 format, such as OpenSC. Originaly this engine was a part of OpenSC, until OpenSC was split into several small projects for improved flexibility.
Updated 08 May 2007
Enigmail
| Pop | 231.00 |
|---|---|
| Vit | 5.77 |
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.
Updated 24 Dec 2003
Fingerprint Verification System
| Pop | 160.76 |
|---|---|
| Vit | 3.78 |
Fingerprint Verification System is an easy-to-use library that allows programmers to integrate fingerprint technology into their software without specific know-how. It is fast and small, and is great for embedded systems.
