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 will develop secure computation architectures to ensure trustworthiness of data while addressing the gaps left by existing solutions for scientific workflows to address the specific power, performance, and usability, and needs of scientific computing from the edge to the HPC center and for nuclear treaty assurance. It is led by Sean Peisert, Venkatesh Akella, and Jason Lowe-Power.

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