Gabrielle Beck's repositories
packed-ss-template
A repository for a few basic packed secret sharing implementations
aff3ct
A fast simulator and a library dedicated to the channel coding.
CryptoPals
My personal work for crypto pals challenges --- this is just for fun
enigma
Enigma cipher machine emulator (CLI + library) written in Go
libscapi
Comprehensive Open Source Library for Secure Multiparty Computation
prototype-pollution-nsec18
Content released at NorthSec 2018 for my talk on prototype pollution
react-c3js
React component for C3.js
s2n
s2n : an implementation of the TLS/SSL protocols
sss
Library for the Shamir secret sharing scheme
stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
z3
The Z3 Theorem Prover
z3-stuff
z3 scripts and ctf challenge solutions.
zschema
A schema language for JSON documents that allows validation and compilation into various database engines
ztag
Tagging and annotation framework for scan data