skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Physical cryptographic verification of nuclear warheads

Abstract

How does one prove a claim about a highly sensitive object such as a nuclear weapon without revealing information about the object?This paradox has challenged nuclear arms control for more than five decades. We present a mechanism in the form of an interactive proof system that can validate the structure and composition of an object, such as a nuclear warhead, to arbitrary precision without revealing either its structure or composition. We introduce a tomographic method that simultaneously resolves both the geometric and isotopic makeup of an object. We also introduce a method of protecting information using a provably secure cryptographic hash that does not rely on electronics or software. These techniques, when combined with a suitable protocol, constitute an interactive proof system that could reject hoax items and clear authentic warheads with excellent sensitivity in reasonably short measurement times.

Authors:
; ; ;
Publication Date:
Research Org.:
Univ. of Michigan, Ann Arbor, MI (United States)
Sponsoring Org.:
USDOE; USDOE National Nuclear Security Administration (NNSA), Office of Nonproliferation and Verification Research and Development (NA-22)
Contributing Org.:
aLaboratory for Nuclear Security and Policy, Massachusetts Institute of Technology, Cambridge, MA 02139; Massachusetts Inst. of Technology (MIT), Cambridge, MA (United States). Lab. for Nuclear Security and Policy
OSTI Identifier:
1264781
Alternate Identifier(s):
OSTI ID: 1367519; OSTI ID: 1367533
Grant/Contract Number:  
NA0002534
Resource Type:
Journal Article: Published Article
Journal Name:
Proceedings of the National Academy of Sciences of the United States of America
Additional Journal Information:
Journal Name: Proceedings of the National Academy of Sciences of the United States of America Journal Volume: 113 Journal Issue: 31; Journal ID: ISSN 0027-8424
Publisher:
Proceedings of the National Academy of Sciences
Country of Publication:
United States
Language:
English
Subject:
73 NUCLEAR PHYSICS AND RADIATION PHYSICS; isotopic tomography; nuclear weapons; disarmament; verification

Citation Formats

Kemp, R. Scott, Danagoulian, Areg, Macdonald, Ruaridh R., and Vavrek, Jayson R. Physical cryptographic verification of nuclear warheads. United States: N. p., 2016. Web. doi:10.1073/pnas.1603916113.
Kemp, R. Scott, Danagoulian, Areg, Macdonald, Ruaridh R., & Vavrek, Jayson R. Physical cryptographic verification of nuclear warheads. United States. doi:10.1073/pnas.1603916113.
Kemp, R. Scott, Danagoulian, Areg, Macdonald, Ruaridh R., and Vavrek, Jayson R. Mon . "Physical cryptographic verification of nuclear warheads". United States. doi:10.1073/pnas.1603916113.
@article{osti_1264781,
title = {Physical cryptographic verification of nuclear warheads},
author = {Kemp, R. Scott and Danagoulian, Areg and Macdonald, Ruaridh R. and Vavrek, Jayson R.},
abstractNote = {How does one prove a claim about a highly sensitive object such as a nuclear weapon without revealing information about the object?This paradox has challenged nuclear arms control for more than five decades. We present a mechanism in the form of an interactive proof system that can validate the structure and composition of an object, such as a nuclear warhead, to arbitrary precision without revealing either its structure or composition. We introduce a tomographic method that simultaneously resolves both the geometric and isotopic makeup of an object. We also introduce a method of protecting information using a provably secure cryptographic hash that does not rely on electronics or software. These techniques, when combined with a suitable protocol, constitute an interactive proof system that could reject hoax items and clear authentic warheads with excellent sensitivity in reasonably short measurement times.},
doi = {10.1073/pnas.1603916113},
journal = {Proceedings of the National Academy of Sciences of the United States of America},
issn = {0027-8424},
number = 31,
volume = 113,
place = {United States},
year = {2016},
month = {7}
}

Journal Article:
Free Publicly Available Full Text
Publisher's Version of Record at 10.1073/pnas.1603916113

Citation Metrics:
Cited by: 2 works
Citation information provided by
Web of Science

Save / Share:

Works referenced in this record:

Geant4—a simulation toolkit
journal, July 2003

  • Agostinelli, S.; Allison, J.; Amako, K.
  • Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment, Vol. 506, Issue 3
  • DOI: 10.1016/S0168-9002(03)01368-8

The relative efficiency of propositional proof systems
journal, March 1979

  • Cook, Stephen A.; Reckhow, Robert A.
  • Journal of Symbolic Logic, Vol. 44, Issue 1
  • DOI: 10.2307/2273702

Gamma-Ray Measurements of a Soviet Cruise-Missile Warhead
journal, May 1990


Ghosts in tomography - the null space of the radon transform
journal, January 1981

  • Louis, A. K.; Törnig, W.
  • Mathematical Methods in the Applied Sciences, Vol. 3, Issue 1
  • DOI: 10.1002/mma.1670030102

Laser wakefield accelerator based light sources: potential applications and requirements
journal, July 2014


Uniqueness theorems for the exponential X-ray transform
journal, January 1993


Ghost distributions in the cone-beam tomography
journal, January 1997


    Works referencing / citing this record:

    A physically cryptographic warhead verification system using neutron induced nuclear resonances
    journal, September 2019


    Barkhausen noise as an intrinsic fingerprint for ferromagnetic components
    journal, November 2018

    • Mascareñas, David; Lockhart, Michelle; Lienert, Thomas
    • Smart Materials and Structures, Vol. 28, Issue 1
    • DOI: 10.1088/1361-665x/aae762