Stars
This repository contains the full set of educational materials supporting our PETS 2025 paper: “Do It to Know It”: Reshaping the Privacy Mindset of Computer Science Undergraduates.
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
Experimental device-side USB framework for microcontrollers in Rust.
Connect your devices into a secure WireGuard®-based overlay network with SSO, MFA and granular access controls.
Network emulation front supporting user mode linux and vde_switch
😎 A curated list of awesome, language-agnostic WebAssembly tools
Cryptographic Primitive Code Generation by Fiat
CIRCL: Cloudflare Interoperable Reusable Cryptographic Library
Guidelines and training material to write secure smart contracts
The xx file format. Turn your hex dumps into art, then into binary data.
Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input fr…
Scriptable green pass / Digital Covid Certificate verifier.
Always up-to-date mirror of the SUPERCOP cryptographic benchmark.
Required C library for Client Side and Queryable Encryption in MongoDB
The SHA-256 Project, developed for NYU Tandon's Applied Cryptography course
✨ Awesome - A curated list of amazing Homomorphic Encryption libraries, software and resources
The source repository for the Trusted Platform Module (TPM2.0) tools
EasyCrypt: Computer-Aided Cryptographic Proofs
Super Amazing Universal Composability, Yeah!
privacy-preserving attribute-based credentials engine