Nuclear Treaty Assurance

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.

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