arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv

This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance …

aws-lc-rs is a cryptographic library using AWS-LC for its cryptographic operations. The library strives to be API-compatible with the popular Rust library named ring.

Mirror of BoringSSL

Main application code for Ambuda, a breakthrough Sanskrit library (ambuda.org)

A template repository for Internet-Draft management

AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.

A modern, portable, easy to use crypto library.

HCTR2 specification and test vectors

Make Zotero effective for us LaTeX holdouts

A minimalistic opinionated Mastodon web client

Self-hosted tagged bookmark manager, similar to linkding, pinboard. del.icio.us

Project Wycheproof tests crypto libraries against known attacks.

🧑‍🍳 This repository contains the source code for the website https://emojikitchen.dev and allows for quick and easy browsing of the over 100,000 supported emoji mashups as part of Google's Emoji Ki…

Deadline countdowns for academic conferences in Security and Privacy

Community Cryptography Specification Project

Community Cryptography Test Vectors

A list of the state of IETF protocols and PQC

Collection of sponge functions written in pure Rust

Serde serializable and deserializable trait objects

Soatok's Proposal for End-to-End Encryption in Mastodon

mastodon on fly.io

A webapp that reads your articles to you while you're on the subway

Experimental key-committing AEADs in pure Rust

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

RC4Hash

Make temporary edits to your Go module dependencies