Shafi Goldwasser joins Lab for Nuclear Security and Policy

CSAIL researcher Shafi Goldwasser recently joined the team at The Department of Nuclear Science and Engineering's Laboratory for Nuclear Security and Policy (LNSP), which just received $3.2 million from the National Nuclear Security Administration to support research that could revolutionize the verification of international arms-control treaties.

The system is a physics manifestation of interactive zero-knowldge proofs, a mathematical concept invented by Goldwasser (and for which she received the 2012 Turing Award).

Asked about the project, Goldwasser said, “This is very exciting for me! I have been waiting 30 years to see the ideas behind interactive and zero-knowledge proofs applied to problems outside the realm of mathematics and digital information.”

Read more at MIT News and the LNSP website.