Zero-knowledge proofs are mathematical cryptographic methods to demonstrate the validity
of a claim while providing no further information beyond the claim itself. The possibility of …

Future nuclear arms reduction efforts will require technologies to verify that warheads slated
for dismantlement are authentic without revealing any sensitive weapons design information …

The risk of revealing sensitive information of nuclear weapon is an obstacle for
comprehensively applying the identification technology in nuclear verification and nuclear …

Verification of future warhead-dismantlement treaties will require detection of certain
warhead attributes without the disclosure of sensitive design information, and this presents …

Nuclear disarmament treaties are not sufficient in and of themselves to neutralize the
existential threat of the nuclear weapons. Technologies are necessary for verifying the …

Arms control treaties are necessary to reduce the large stockpiles of the nuclear weapons
that constitute one of the biggest dangers to the world. However, an impactful treaty hinges …

In this work, we demonstrate the training, conversion, and implementation flow of an FPGA-
based bin-ratio ensemble spiking neural network applied for radioisotope identification. The …

Arms-control agreements between the United States and Russia negotiated after the end of
the Cold War have imposed limits on the number of deployed strategic nuclear weapons …

In warhead verification, physical encryption technology could play a critical role in protecting
confidential information on geometric structure and isotopic composition of a true warhead …

The nuclear resonance fluorescence (NRF) can provide a unique physical fingerprint, and
had played an important role in the physical cryptographic verification of nuclear warheads …