Nuclear Treaty Assurance

Using Fuzz Testing to Detect Software Tampering

This project aims verify that software operating on arms control monitoring equipment is within agreed parameters. It is funded by the National Nuclear Security Administration Office of Defense Nuclear Nonproliferation Research and Development and is led by Sean Peisert.

Reliable Multicast for Continuous Data Transmission for Nuclear Treaty Verification

This project examined the use of reliable multicast communication protocols, including for the Comprehensive test Ban Treaty.