Simple and flexible tool for managing secrets

OSS implementation of the TCG TPM2 Software Stack (TSS2)

A implementation of the CESR encoding/decoding protocol of KERI protocol/genus 1.0 and 2.0 tables.

GLEIF-IT Main Site

Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.

Repo for the Security Working Group

Erlang interpreter for Node-RED (visual flow based programming) with Elixir support

A collection of common (interesting) cryptographic mistakes and learning resources.

Security-focused static analysis for the Phoenix Framework

Training materials for the vLEI ecosystem

Erla+ is a compiler that transpiles PlusCal specs into Erlang implementations

A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.

A literate programming tool for any language

Resources for tackling record linkage / deduplication / data matching problems

Fast, accurate and scalable probabilistic data linkage with support for multiple SQL backends

An End-to-End Evaluation Framework for Entity Resolution Systems

List of entity resolution software and resources.

Base OTP behaviors presented as schemas

Python implementations of cryptographic attacks and utilities.

Known attacks on Elliptic Curve Cryptography

A framework for verifying PKI structures

X.509 Certificate Linter focused on Web PKI standards and requirements.

PKI Meta-Linter

A tertiary root of trust KERI witness/backer that anchors KELs and schemas on Cardano, reliably.

Deadline countdowns for academic conferences in Security and Privacy

An ACME-based certificate authority, written in Go.

Bouncy Hsm is a software simulator of HSM and smartcard simulator with HTML UI, REST API and PKCS#11 interface.

A Rust implementation of the KERI protocol