amaloz

ae-generator

Authenticated encryption scheme prover/synthesizer

obfuscation

Implementation of cryptographic program obfuscation

crypto-latex

Style file for crypto papers

libgarble

Garbling library based on JustGarble

modes-generator

Automated prover and synthesizer for modes of operation

otlib

An oblivious transfer library

abke

Attribute-based Key Exchange

awesome-mpc

A curated list of multi party computation resources and links.

dotfiles

Random assortment of dotfiles

awesome-config

Configuration files for the awesome windows manager

C-Thread-Pool

A minimal but powerful thread pool in ANSI C

emacs-config

Configuration files for Emacs

extrabib

Extra bib entries missing from cryptobib

latex-macros

libacirc

libacirc-v1

C library for parsing, evaluating, and decomposing acirc format arithmetic circuits

linisynth

Synthesizing free-xor-compatible garbled circuit constructions via Linicrypt

paper-template

saw-script-layer

Spacemacs layer for saw-script