Pinned Repositories
3251_notes
4400_GTMRS
An implementation of the final project for CS4400.
4420
bid
formula
GTMRS
Logic
logstack
Stacked Garbling with `O(b log b)` overhead instead of `O(b^2)`
one-hot-garbling
optic-graph
Haskell graph library
DAHeath's Repositories
DAHeath/optic-graph
Haskell graph library
DAHeath/one-hot-garbling
DAHeath/Logic
DAHeath/logstack
Stacked Garbling with `O(b log b)` overhead instead of `O(b^2)`
DAHeath/formula
DAHeath/concat
Compiling to Categories
DAHeath/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
DAHeath/cv
DAHeath/DAHeath.github.io
DAHeath/dot_files
DAHeath/emp-c
A C wrapper around EMP. Useful for writing FFI bindings.
DAHeath/emp-ot
Oblivious Transfer, Oblivious Transfer Extension and Variations
DAHeath/emp-tool
DAHeath/formal-language
DAHeath/Lambda
DAHeath/MPCOrder
DAHeath/proram
DAHeath/ram-utils
DAHeath/Safety
DAHeath/seer
DAHeath/self-relational
DAHeath/shara
DAHeath/speedlimit
Network bandwidth limiter for testing iphone apps
DAHeath/stack_lang
DAHeath/starter-crypto-paper
A starting point for an LNCS formatted paper with Crypto citations.
DAHeath/UC
Implementation of Valiant's universal circuit construction optimized for private function evaluation
DAHeath/vim-ls_redux
DAHeath/z3
The Z3 Theorem Prover
DAHeath/z3-haskell
DAHeath/zk