Pinned Repositories
3dprintyourbrain
How to 3D print your brain from a T1 MRI image.
arlo
ct-domain-monitor
dotfiles
ray-docker-arm
verifiedvoting
umbernhard's Repositories
umbernhard/audit-sim
A repository for simulating large amounts of election audits
umbernhard/dotfiles
umbernhard/ray-docker-arm
umbernhard/3dprintyourbrain
How to 3D print your brain from a T1 MRI image.
umbernhard/arlo
umbernhard/arlo-verifier
umbernhard/auditrs
umbernhard/binpacking
Heuristic solution for a bin packing variant for use in risk-limiting audit ballot retrieval assignment
umbernhard/electionaudits.us
Landing page for all things post election auditing
umbernhard/mbernhard.com
umbernhard/new-dotfiles
umbernhard/nixcfg
My setup for nix-related things, after @MatthewCroughan
umbernhard/nOAuth
a simple oauth server that does NO real authentication and helps you test systems that depend on OAuth.
umbernhard/node-usb-detection
List USB devices in system and detect changes on them.
umbernhard/openelections-data-nv
Converted CSVs of Nevada election results
umbernhard/OWASP-ASVS-4.0-testing-guide
umbernhard/pesign
Linux tools for signed PE-COFF binaries
umbernhard/practical-cl
Me working through the exercises in Practical Common Lisp
umbernhard/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
umbernhard/rlamath
umbernhard/safeboot
Scripts to slightly improve the security of the Linux boot process with UEFI Secure Boot and TPM support
umbernhard/SHANGRLA
Sets of Half-Average Nulls Generate Risk-Limiting Audits: tools for assertion-based risk-limiting election audits
umbernhard/soc2.fyi
SOC 2 should be easy to get done and it should be inexpensive. Here's everything you wanted to know.
umbernhard/srcery-terminal
Srcery theme terminal configurations
umbernhard/sso-wall-of-shame
A list of vendors that treat single sign-on as a luxury feature, not a core security requirement.
umbernhard/tpm2-totp
Attest the trustworthiness of a device against a human using time-based one-time passwords
umbernhard/twitter-to-outrage-machine
Chrome extension that replaces occurrences of 'Twitter' with 'Outrage Machine'
umbernhard/ubuntu-preseed-iso-generator
Generate an ISO image for automated Ubuntu 20.04 desktop installations.
umbernhard/vulsctl
Easy setup tool for Vuls
umbernhard/west.vote
Website for the Workshop on Election Science and Technology