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.

Over the air wireless measurements and matching using the Shout and WiMatch tools.

A sandbox focused on the process of creating and running web assembly for the purpose of writing a web assembly fuzzer

The main development repository for the Utah A3 VMI work.

The main development repository for the Utah A3 VMI work.

Tools and documentation supporting VIBRANT evaluation, a HyPer4 application.

Racket package for defining a variable with version info containing a git hash!