charm

A tiny, self-contained cryptography library, implementing authenticated encryption and keyed hashing.

Charm uses the Xoodoo[12](paper, presentation) permutation (which can be replaced by AES-based simpira384 or Gimli) in a duplex mode.

The Xoodoo implementations in Charm are formally verified against a Cryptol specification.

Users:

dsvpn a Dead Simple VPN, designed to address the most common use case for using a VPN.

Other implementations:

A lightweight, secure, easy-to-use crypto library suitable for constrained environments.

C implementation of the BlaBla20 cipher

An AES-based 384 bit permutation.

A CPace PAKE implementation using libsodium.

Deterministic/nonce-reuse resistant authenticated encryption scheme using XChaCha20, implemented ...

A dead simple tool to sign files and verify digital signatures.

A C implementation of Spritz, a spongy RC4-like stream cipher and hash function.

SipHash AVX2 implementation in C