Stars
Jitsi Videobridge is a WebRTC compatible video router or SFU that lets build highly scalable video conferencing infrastructure (i.e., up to hundreds of conferences per server).
Agent2Agent (A2A) is an open protocol enabling communication and interoperability between opaque agentic applications.
A tool for testing for certificate validation vulnerabilities of TLS connections made by a client device or an application.
Don't Roll Your Own Crypto: pure-Rust, hard to misuse cryptography library
Creusot helps you prove your code is correct in an automated fashion.
AES-GCM-SIV (RFC 8452) implementation for C, Android and Java, with hardware acceleration support.
This software provides a reference code of the low-latency cryptographic permutation algorithm Areion.
Rune is a programming language developed to test ideas for improving security and efficiency.
Operational information regarding CVE-2022-3602 and CVE-2022-3786, two vulnerabilities in OpenSSL 3
List of unsafe ed25519 signature libs
Paranoid's library contains implementations of checks for well known weaknesses on cryptographic artifacts.
Code for cracking passwords with neural networks
MicroPython module to communicate with KING JIM TEPRA Lite LR30
DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
Fast and powerful SSL/TLS scanning library.
Slide decks and sample codes for a lecture of "Security Engineering", which are composed in terms of how to choose and deploy appropriate standardization security technologies in information systems.
Generic engine to evaluate logical circuits on homomorphic encryption
👀 A modern watch command. Time machine and pager etc.
FIDO2(WebAuthn) server officially certified by FIDO Alliance and Relying Party examples.
A curated list of replacements for existing software written in Rust