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.
Tools and documentation supporting VIBRANT evaluation, a HyPer4 application.