Boaz Barak of Microsoft Research New England is working with Princeton University professors to find a verifiable way to make sure that nuclear-delivery systems being decommissioned actually contain nuclear warheads.
↧
