Xsmith is a generator of highly effective fuzz testers.
A Linux kernel extended with Lighweight Capability Domains
Module and static lib build for the thc async code.
The main development repository for the Utah A3 VMI work.
Racket package for defining a variable with version info containing a git hash!
Repository containing LaTeX code from http://ftp.math.utah.edu/pub/uuthesis/, current as of 07/19/2016
Fork of grub2 with TPM support. Described in the paper "Trusted Disk Loading in the Emulab Network Testbed" by Cutler et al.: http://www.flux.utah.edu/paper/cutler-cset10
My masters thesis repo
Source for the CloudLab and Apt manuals (docs.cloudlab.us and docs.aptlab.net)