Samuel Judson's starred repositories
oathkeeper
A cloud native Identity & Access Proxy / API (IAP) and Access Control Decision API that authenticates, authorizes, and mutates incoming HTTP(s) requests. Inspired by the BeyondCorp / Zero Trust white paper. Written in Go.
awesome-mpc
A curated list of multi party computation resources and links.
fiat-crypto
Cryptographic Primitive Code Generation by Fiat
nexus-zkvm
The Nexus zkVM: The zero-knowledge virtual machine
bulletproofs
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
saw-script
The SAW scripting language.
cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)