Lists (1)
Stars
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.
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.
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
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
A webapp that reads your articles to you while you're on the subway
A collection of common (interesting) cryptographic mistakes and learning resources.