Search NASA⌕ Search

Engineering topics

Philippe, Sébastien

Publications and source records attributed to Philippe, Sébastien.

Remote inspection of adversary-controlled environments

Remotely monitoring the location and enduring presence of valuable items in adversary-controlled environments presents significant challenges. In this article, we demonstrate a monitoring approach that leverages the gigahertz radio-wave scattering and absorption of a room and its contents, including a set of mirrors with random orientations placed inside, to remotely verify the absence of any disturbance over time. Our technique extends to large physical systems the application of physical unclonable functions for integrity protection. Its main applications are scenarios where parties are mutually distrustful and have privacy and security constraints. Examples range from the verification of nuclear arms-control treaties to the securing of currency, artwork, or data centers.

47 OTHER INSTRUMENTATION↗

Fit for Purpose: An Evolutionary Strategy for the Implementation and Verification of the Treaty on the Prohibition of Nuclear Weapons

The Treaty on the Prohibition of Nuclear Weapons requires States Parties to designate a “competent international authority or authorities” for negotiating and verifying the irreversible elimination of nuclear-weapons programs. Ensuring that such an authority or authorities is able to be fit for purpose when required to meet these tasks will be crucial for both the future implementation and legitimacy of the Treaty. To address this challenge, this article proposes the early creation of a two-part organizational structure, comprising an implementation support unit and a dedicated scientific and technical advisory body, to begin the process of institutionalizing the treaty, and build the technical basis for meeting its verification goals should a nuclear-weapon-possessing state decide to join. The article then discusses how such two-part structure could be scaled-up as a standing international organization tasked with the coordination of an ad hoc inspectorate, which would also cooperate and complement the work of existing nuclear verification organizations, such as the International Atomic Energy Agency. This evolutionary and adaptive strategy to institution building could empower the new Treaty by supporting the emergence of a new regime complex for nuclear disarmament, while taking into account the initially limited financial and technical resources of its member states.

98 NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL P↗

A Cryptographic Escrow for Treaty Declarations and Step-by-Step Verification

The verification of arms-control and disarmament agreements requires states to provide declarations, including information on sensitive military sites and assets. There are important cases, however, where negotiations of these agreements are impeded because states are reluctant to provide any such data, because of concerns about prematurely handing over militarily significant information. To address this challenge, we present a cryptographic escrow that allows a state to make a complete declaration of sites and assets at the outset and commit to its content, but only reveal the sensitive information therein sequentially. Combined with an inspection regime, our escrow allows for step-by-step verification of the correctness and completeness of the initial declaration so that the information release and inspections keep pace with parallel diplomatic and political processes. We apply this approach to the possible denuclearization of North Korea. Such approaches can be applied, however, to any agreement requiring the sharing of sensitive information.

98 NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL P↗

A physical zero-knowledge object-comparison system for nuclear warhead verification

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 using such proofs to process classified and other sensitive physical data has attracted attention, especially in the field of nuclear arms control. Here we demonstrate a non-electronic fast neutron differential radiography technique using superheated emulsion detectors that can confirm that two objects are identical without revealing their geometry or composition. Such a technique could form the basis of a verification system that could confirm the authenticity of nuclear weapons without sharing any secret design information. More broadly, by demonstrating a physical zero-knowledge proof that can compare physical properties of objects, this experiment opens the door to developing other such secure proof-systems for other applications.

98 NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL P↗

Nuclear Archaeology for Gaseous Diffusion Enrichment Plants

Gaseous diffusion was historically the most widely used technology for military production of highly enriched uranium. Since June 2013, all gaseous diffusion enrichment plants worldwide are permanently shut down. The experience with decommissioning some of these plants has shown that they contain large amounts of uranium particles deposited in the cascade equipment. This article evaluates the potential of using uranium particle deposition to understand and reconstruct the operating histories of gaseous diffusion enrichment plants. First, a squared-off cascade enrichment model is derived to estimate the enrichment capacity of a reference plant. Then, using a cross-flow filtration model, the mass of solid uranium particles deposited over time in the tubular separation membranes of the stage diffusers is calculated. Lastly, potential techniques to characterize these uranium deposits and help reconstruct the operating history of the plant are assessed.

07 ISOTOPE AND RADIATION SOURCES↗