Explore projects

Xsmith is a generator of highly effective fuzz testers.

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.

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

Repository containing LaTeX code from http://ftp.math.utah.edu/pub/uuthesis/, current as of 07/19/2016

Repository containing LaTeX code from http://ftp.math.utah.edu/pub/uuthesis/, current as of 07/19/2016

Repository containing LaTeX code from http://ftp.math.utah.edu/pub/uuthesis/, current as of 07/19/2016

Repository containing LaTeX code from http://ftp.math.utah.edu/pub/uuthesis/, current as of 07/19/2016

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)

Source for the CloudLab and Apt manuals (docs.cloudlab.us and docs.aptlab.net)

Source for the CloudLab and Apt manuals (docs.cloudlab.us and docs.aptlab.net)