215 projects tagged "Linux"
Updated 11 Apr 2011
ACL2
| Pop | 86.07 |
|---|---|
| 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 18 Aug 2001
AirSnort
| Pop | 200.00 |
|---|---|
| Vit | 1.00 |
AirSnort is a wireless LAN (WLAN) tool that recovers encryption keys. It operates by passively monitoring transmissions, computing the encryption key when enough packets have been gathered.
Updated 03 Mar 2013
Botan
| Pop | 642.36 |
|---|---|
| Vit | 93.84 |
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.
Updated 20 Feb 2011
C++ Elliptic Curve Cryptography library
| Pop | 169.71 |
|---|---|
| Vit | 8.78 |
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.
Updated 20 Aug 2003
CAKE
| Pop | 18.28 |
|---|---|
| Vit | 59.67 |
CAKE (Key Addressed Crypto Encapsulation) is a bunch of Python and C++ for implementing the CAKE protocol. The CAKE protocol is a protocol in which all messages have source and destination addresses that are public keys. This is in the same way that IP packets have a source and destination address that is an IP address.
Updated 13 Dec 2001
CDSA 2
| Pop | 43.79 |
|---|---|
| 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 04 Aug 2004
CIPE
| Pop | 191.10 |
|---|---|
| Vit | 3.16 |
CIPE (Crypto IP Encapsulation) is an ongoing project to build encrypting IP routers. The protocol used is as lightweight as possible. It is designed for passing encrypted packets between prearranged routers in the form of UDP packets. This is not as flexible as IPSEC but it is enough for the original intended purpose: securely connecting subnets over an insecure transit network.
Updated 21 May 2002
COMU Privacy Guard
| Pop | 29.70 |
|---|---|
| Vit | 1.00 |
CPG (COMU Privacy Guard) is a Web-based shell for GNU Privacy Guard. It enables users to perform the main functions of GnuPG on the Web.
Updated 26 Dec 2006
Charon
| Pop | 40.99 |
|---|---|
| Vit | 2.17 |
Charon simplifies reselling Internet access via WiFi access points. It installs onto Linksys, ASUS, and other common WiFi access points and manages automatic price and access negotiation with local wireless customers, charging them via the mikolaj.cx micropayment system. Deposits are accepted via either cash or credit card. It will ultimately provide secure and fraud-resistant access by utilizing cash-like settlement, reputation tracking, and PKI-based non-repudiable contracts, to protect both the end-user and the access provider.
Updated 10 Aug 2007
Checkpoint Commander
| Pop | 27.60 |
|---|---|
| Vit | 2.56 |
Checkpoint Commander is a cross-platform file management, viewing, and archiving / security tool. It includes optional archive encryption using AES (AES-CBC-HMAC-SHA1).
