Related papers: Experimental demonstration of an isotope-sensitive…
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 on effective inspection exercises to verify the…
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 authenticity of the nuclear warheads undergoing dismantlement…
Future arms control treaties may need to reliably verify warheads for dismantlement as part of the treaty verification process without exposing carefully guarded weapons information. Neutron Resonance Transmission Analysis has been proposed…
Nuclear arms control treaties have historically focused on strategic nuclear delivery systems, indirectly restricting strategic nuclear warhead numbers and leaving nonstrategic nuclear warheads (NSNWs) outside formal verification…
Nuclear resonance fluorescence (NRF) is a photonuclear interaction that enables highly isotope-specific measurements in both pure and applied physics scenarios. High-accuracy design and analysis of NRF measurements in complex geometries is…
The smuggling of special nuclear materials (SNMs) across national borders is becoming a serious threat to nuclear nonproliferation. This paper presents a feasibility study on the rapid interrogation of concealed SNMs by combining scattering…
Radio Frequency Fingerprinting (RFF) has evolved as an effective solution for authenticating devices by leveraging the unique imperfections in hardware components involved in the signal generation process. In this work, we propose a…
International verification of nuclear warheads is a practical problem in which the protection of secret warhead information is of paramount importance. We propose a measure that would enable a weapon owner to evaluate the privacy of a…
Traditional authentication in radio-frequency (RF) systems enable secure data communication within a network through techniques such as digital signatures and hash-based message authentication codes (HMAC), which suffer from key recovery…
Formal verification is crucial for ensuring the robustness of security protocols against adversarial attacks. The Needham-Schroeder protocol, a foundational authentication mechanism, has been extensively studied, including its integration…
Radio Frequency Fingerprinting (RFF) techniques allow a receiver to authenticate a transmitter by analyzing the physical layer of the radio spectrum. Although the vast majority of scientific contributions focus on improving the performance…
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…
We propose a security verification framework for cryptographic protocols using machine learning. In recent years, as cryptographic protocols have become more complex, research on automatic verification techniques has been focused on. The…
Every country that has made nuclear weapons has used uranium enrichment. Despite the centrality of this technology to international security, there is still no reliable physical marker of past enrichment that can be used to perform forensic…
The smuggling of special nuclear materials (SNM) through international borders could enable nuclear terrorism and constitutes a significant threat to global security. This paper presents the experimental demonstration of a novel…
Neural Radiance Fields (NeRF) have been gaining attention as a significant form of 3D content representation. With the proliferation of NeRF-based creations, the need for copyright protection has emerged as a critical issue. Although some…
Neutron Resonance Transmission Analysis (NRTA) was explored as an arms control verification approach to support potential future nuclear weapon limiting treaties. A compact and portable neutron Time of Flight (ToF) system was developed to…
The advances in the Neural Radiance Fields (NeRF) research offer extensive applications in diverse domains, but protecting their copyrights has not yet been researched in depth. Recently, NeRF watermarking has been considered one of the…
For sufficiently wide resonances, nuclear resonance fluorescence behaves like elastic photo-nuclear scattering while retaining the large cross-section characteristic of resonant photo-nuclear absorption. We show that NRF may be used to…
For over 40 years, physicists have considered possible uses for neutrino detectors in nuclear nonproliferation, arms control, and fissile materials security. Neutrinos are an attractive fission signature because they readily pass through…