Name: David Stainton
Type: User
Bio: Katzenpost founder. Interests include cryptography, anonymous communication networks, security, privacy and formal methods. Lean 4,Rust, Golang, Python
Twitter: david415
Location: San Francisco
Blog: https://sphinx.rs
David Stainton's Projects
rust AEZ
A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.
repo for submitting papers to anonbib
Ansible role for installing and configuring ooniprobe
Ansible role for being paranoid with OpenSSH
Ansible Role - iptables Firewall configuration.
An Ansible role for using Tahoe-LAFS!
there's plenty of time to be paranoid!
An Ansible role for using tor!
(an ansible role) common setup routine for debian 7 (a.k.a wheezy)
Append-only, on-disk key-value index
stream encoding toolkit
Blockfinder enumerates network information for countries
fork of https://git.torproject.org/project/bridges/bridgedb-admin.git
bulb is not stem
Bandwidth authority scanner
Command-line utility to control Tor.
Development repository for Opscode Cookbook chef-server
Clusto is a cluster management tool. It helps you keep track of your inventory, where it is, how it's connected, and provides an abstracted interface for interacting with the elements of the infrastructure.
Creative commons licensed cryptography code examples in Rust and Go.
my solutions to the cryptopals challenges - see https://cryptopals.com/
DhcpTakeover - written with Python and scapy; a fork of the original author's code.
rust ecdh wrapper for X25519