Library for elliptic curves cryptography

Locate the current running executable and the current running module/library on the file system 🔎

A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.

The CompCert formally-verified C compiler

Library for elliptic curves cryptography

Home to public development of NIST Special Publication 800-63-3: Digital Authentication Guidelines

Requirements for certification of cryptographic components in Belarus

A reference implementation of the Russian GOST crypto algorithms for OpenSSL

The Cyber Swiss Army Knife - a web app for encryption, encoding, compression and data analysis

enTangle'd is an amalgamation of all things Tangle

Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/

C library for prototyping and experimenting with quantum-resistant cryptography

TLS/SSL and crypto library

Cryptography standards of the CIS countries

BELT (STB 34.101.31) Encryption Algorithm and Hash Function Implementations