Resources

Items marked as restricted are available to members only. Join INMM today to access over 60 years of insight from experts in the nuclear materials management industry.

Machine Vision for Imaging Bubbles: From the Interstellar Medium to Neutron Detectors for Zero-Knowledge Warhead Verification
Type:Annual Meeting Proceedings
Author(s):Alexander Glaser, Sebastien Philippe, Michael Hepler, Robert Goldston, Paige Kunkle
Abstract:The Zero-Knowledge Protocol (ZKP) for warhead verification, developed by Glaser, Barak and Goldston, and experimentally validated by…
Not So Fast: Tailoring 14-MeV Neutrons for Zero-Knowledge Isotopic Comparison of Uranium Objects
Type:Annual Meeting Proceedings
Author(s):Alexander Glaser, Sebastien Philippe, Michael Hepler, Robert Goldston, Francesco d'Errico
Abstract:A physical zero knowledge protocol using 14 MeV neutron differential transmission radiography has previously been demonstrated to be…
Public Templates for Nuclear Warhead Verification
Type:Annual Meeting Proceedings
Author(s):Alexander Glaser, Sebastien Philippe, Moritz Kutt, Boaz Barak
Abstract:Passive gamma spectroscopy has been successfully used for inspection systems based on the template-matching approach. The most prominent…
Cryptographic Escrow of Nuclear Warhead Inventories for Early Commitment and Non-intrusive Verification
Type:Annual Meeting Proceedings
Author(s):Alexander Glaser, Sébastien Philippe
Abstract:?Procedures and techniques to confirm upper limits on the number ofnuclear warheads will become a key verification objective should future…
Toward Trusted Sensors for Nuclear Arms Control Verification: Superheated Emulsions as Neutron-Sensitive Physical Unclonable Functions
Type:Annual Meeting Proceedings
Author(s):Alexander Glaser, Sebastien Philippe, Ulrich Rührmair, Raheem Barnett
Abstract:Nuclear arms-control treaty verification tasks such as warhead authentication, or counting and tracking treaty accountable items in…
A BAN ON THE PRODUCTION OF HIGHLY ENRICHED URANIUM
Type:Annual Meeting Proceedings
Author(s):Frank N. von Hippel, Sebastien Philippe
Abstract:An international consensus has developed that the goals of nonproliferation and preventing nuclear terrorism are served when uses of highly…
The Application of Virtual Proofs of Reality to Nuclear Safeguards and Arms Control Verification
Type:Annual Meeting Proceedings
Author(s):Alexander Glaser, Sebastien Philippe, Moritz Kütt, Michael McKeown
Abstract:Nuclear inspections, for example as part of non-proliferation treaty safeguards and arms control agreements, often involve compliance…
Zero-Knowledge Differential Isotopic Comparison of Special Nuclear Materials
Type:Annual Meeting Proceedings
Author(s):Alexander Glaser, Sebastien Philippe, Francesco d’Errico
Abstract:Zero-knowledge proofs are mathematical cryptographic methods to demonstrate the validity of a statement while providing no further…
Designing Protocols for Nuclear Warhead Verification
Type:Annual Meeting Proceedings
Author(s):Alexander Glaser, Boaz Barak, Sebastien Philippe
Abstract:Future arms-control and disarmament treaties could place numerical limits on all categories of nuclear weapons in the arsenals of weapon…
Experimental Demonstration of a Physical Zero-Knowledge Protocol for Nuclear Warhead Verification
Type:Annual Meeting Proceedings
Author(s):Alexander Glaser, Robert J. Goldston, Sebastien Philippe, Francesco d’Errico, George Ascione, Charles Gentile
Abstract:Zero-knowledge protocols are a class of interactive proof systems that yield nothing beyond the validity of the assertion being proved.…
Leveraging the Wisdom of the Crowd: Hardware and Software Challenges for Nuclear Disarmament Verification
Type:Annual Meeting Proceedings
Author(s):Alexander Glaser, Sebastien Philippe, Moritz Kutt
Abstract:The verification of nuclear disarmament will require the use of adequate mea- surement technologies. All will need to enable inspecting…
All at Sea? A Safeguards Approach for the Military Naval Nuclear Fuel Cycle
Type:Annual Meeting Proceedings
Author(s):Sebastien Philippe
Abstract:Brazil’s nuclear submarine program presents a new challenge for the Nuclear Non-Proliferation Treaty (NPT) safeguards regime. The standard…
Authenticating Nuclear Warheads With High Con dence
Type:Annual Meeting Proceedings
Author(s):Alexander Glaser, Boaz Barak, Robert J. Goldston, Sebastien Philippe, Moritz Kutt
Abstract:Negotiated deeper cuts in the nuclear arsenals may place limits on the total number of nuclear weapons in states' stockpiles, which could…
Zero Knowledge Warhead Verification: System Requirements and Detector Technologies
Type:Annual Meeting Proceedings
Author(s):Alexander Glaser, Robert J. Goldston, Sebastien Philippe, Francesco d’Errico, Angela di Fulvio
Abstract:We have previously proposed a “Zero-Knowledge” approach to nuclear warhead verification that avoids the need for an electronic information…
Nuclear Archaeology for Gaseous Diffusion Enrichment Plants
Type:Annual Meeting Proceedings
Author(s):Alexander Glaser, Sebastien Philippe
Abstract:The field of nuclear archaeology aims to develop the methods and tools to verify past production of fissile materials for military…