Browse
Submit Data
Databases
API
Help

Dataset Information

0 Views

0 Connections

0 Citations

0 Reanalyses

0 Downloads

Omics score: 0

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.

SUBMITTER: Kemp RS

PROVIDER: S-EPMC4978267 | biostudies-literature | 2016 Aug

REPOSITORIES: biostudies-literature

ACCESS DATA

Json Xml

Publications

Physical cryptographic verification of nuclear warheads.

Kemp R Scott RS Danagoulian Areg A Macdonald Ruaridh R RR Vavrek Jayson R JR

Proceedings of the National Academy of Sciences of the United States of America 20160718 31

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 reso ...[more]

PMID: 27432959

Similar Datasets

A physically cryptographic warhead verification system using neutron induced nuclear resonances.

Project description: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 participants' compliance to the treaty terms. Such procedures would require verification of the authenticity of a warhead undergoing dismantlement. Previously proposed solutions lacked the combination of isotopic sensitivity and information security. Here we present the experimental feasibility proof of a technique that uses neutron induced nuclear resonances and is sensitive to the combination of isotopics and geometry. The information is physically encrypted to prevent the leakage of sensitive information. Our approach can significantly increase the trustworthiness of future arms control treaties while expanding their scope to include the verified dismantlement of nuclear warheads themselves.

| S-EPMC6769018 | biostudies-literature

Homomorphic inference of deep neural networks for zero-knowledge verification of nuclear warheads.

Project description:Disarmament treaties have been the driving force towards reducing the large nuclear stockpile assembled during the Cold War. Further efforts are built around verification protocols capable of authenticating nuclear warheads while preventing the disclosure of confidential information. This type of problem falls under the scope of zero-knowledge protocols, which aim at multiple parties agreeing on a statement without conveying any information beyond the statement itself. A protocol capable of achieving all the authentication and security requirements is still not completely formulated. Here we propose a protocol that leverages the isotopic capabilities of NRF measurements and the classification abilities of neural networks. Two key elements guarantee the security of the protocol, the implementation of the template-based approach in the network's architecture and the use of homomorphic inference. Our results demonstrate the potential of developing zero-knowledge protocols for the verification of nuclear warheads using Siamese networks on encrypted spectral data.

| S-EPMC10167340 | biostudies-literature

Nuclear disarmament verification via resonant phenomena.

Project description: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 before counting them toward a treaty partner's obligation. Here we present a concept that leverages isotope-specific nuclear resonance phenomena to authenticate a warhead's fissile components by comparing them to a previously authenticated template. All information is encrypted in the physical domain in a manner that amounts to a physical zero-knowledge proof system. Using Monte Carlo simulations, the system is shown to reveal no isotopic or geometric information about the weapon, while readily detecting hoaxing attempts. This nuclear technique can dramatically increase the reach and trustworthiness of future nuclear disarmament treaties.

| S-EPMC5871754 | biostudies-literature

Cryptographic hashing using chaotic hydrodynamics.

Project description:Fluids may store and manipulate information, enabling complex applications ranging from digital logic gates to algorithmic self-assembly. While controllable hydrodynamic chaos has previously been observed in viscous fluids and harnessed for efficient mixing, its application to the manipulation of digital information has been sparsely investigated. We show that chaotic stirring of a viscous fluid naturally produces a characteristic signature of the stirring process in the arrangement of particles in the fluid, and that this signature directly satisfies the requirements for a cryptographic hash function. This includes strong divergence between similar stirring protocols' hashes and avoidance of collisions (identical hashes from distinct stirs), which are facilitated by noninvertibility and a broad chaotic attractor that samples many points in the fluid domain. The hashing ability of the chaotic fluidic map implicates several unexpected mechanisms, including incomplete mixing at short time scales that produces a hyperuniform hash distribution. We investigate the dynamics of hashing using interparticle winding statistics, and find that hashing starts with large-scale winding of kinetically disjoint regions of the chaotic attractor, which gradually gives way to smaller scale braiding of single-particle trajectories. In addition to providing a physically motivated approach to implementing and analyzing deterministic chaotic maps for cryptographic applications, we anticipate that our approach has applications in microfluidic proof-of-work systems and characterizing large-scale turbulent flows from sparse tracer data.

| S-EPMC5948985 | biostudies-literature

Experimental Quantum-enhanced Cryptographic Remote Control.

Project description:The Internet of Things (IoT), as a cutting-edge integrated cross-technology, promises to informationize people's daily lives, while being threatened by continuous challenges of eavesdropping and tampering. The emerging quantum cryptography, harnessing the random nature of quantum mechanics, may also enable unconditionally secure control network, beyond the applications in secure communications. Here, we present a quantum-enhanced cryptographic remote control scheme that combines quantum randomness and one-time pad algorithm for delivering commands remotely. We experimentally demonstrate this on an unmanned aircraft vehicle (UAV) control system. We precharge quantum random numbers (QRN) into controller and controlee before launching UAV, instead of distributing QRN like standard quantum communication during flight. We statistically verify the randomness of both quantum keys and the converted ciphertexts to check the security capability. All commands in the air are found to be completely chaotic after encryption, and only matched keys on UAV can decipher those commands precisely. In addition, the controlee does not response to the commands that are not or incorrectly encrypted, showing the immunity against interference and decoy. Our work adds true randomness and quantum enhancement into the realm of secure control algorithm in a straightforward and practical fashion, providing a promoted solution for the security of artificial intelligence and IoT.

| S-EPMC6456578 | biostudies-literature

Novel thiourea-based sirtuin inhibitory warheads.

Project description:N(?)-Thiocarbamoyl-lysine was recently demonstrated by our laboratory to be a potent catalytic mechanism-based SIRT1/2/3 inhibitory warhead, in the current study, among the prepared analogs of N(?)-thiocarbamoyl-lysine with its terminal NH2 mono-substituted with alkyl and aryl groups, we found that N(?)-methyl-thiocarbamoyl-lysine and N(?)-carboxyethyl-thiocarbamoyl-lysine, respectively, also behaved as strong inhibitory warheads against SIRT1/2/3 and SIRT5, typical deacetylases and deacylase in the human sirtuin family, respectively. Moreover, N(?)-methyl-thiocarbamoyl-lysine was found in the study to be a ? 2.5-18.4-fold stronger SIRT1/2/3 inhibitory warhead than its lead warhead N(?)-thiocarbamoyl-lysine.

| S-EPMC4636340 | biostudies-literature

Structure-activity relationships of GPX4 inhibitor warheads.

Project description:Direct inhibition of GPX4 requires covalent modification of the active-site selenocysteine. While phenotypic screening has revealed that activated alkyl chlorides and masked nitrile oxides can inhibit GPX4 covalently, a systematic assessment of potential electrophilic warheads with the capacity to inhibit cellular GPX4 has been lacking. Here, we survey more than 25 electrophilic warheads across several distinct GPX4-targeting scaffolds. We find that electrophiles with attenuated reactivity compared to chloroacetamides are unable to inhibit GPX4 despite the expected nucleophilicity of the selenocysteine residue. However, highly reactive propiolamides we uncover in this study can substitute for chloroacetamide and nitroisoxazole warheads in GPX4 inhibitors. Our observations suggest that electrophile masking strategies, including those we describe for propiolamide- and nitrile-oxide-based warheads, may be promising for the development of improved covalent GPX4 inhibitors.

| S-EPMC8006158 | biostudies-literature

Sulfonyl fluorides as privileged warheads in chemical biology.

Project description:Sulfonyl fluoride electrophiles have found significant utility as reactive probes in chemical biology and molecular pharmacology. As warheads they possess the right balance of biocompatibility (including aqueous stability) and protein reactivity. Their functionality is privileged in this regard as they are known to modify not only reactive serines (resulting in their common use as protease inhibitors), but also context-specific threonine, lysine, tyrosine, cysteine and histidine residues. This review describes the application of sulfonyl fluoride probes across various areas of research and explores new approaches that could further enhance the chemical biology toolkit. We believe that sulfonyl fluoride probes will find greater utility in areas such as covalent enzyme inhibition, target identification and validation, and the mapping of enzyme binding sites, substrates and protein-protein interactions.

| S-EPMC5489032 | biostudies-literature

Evolution of proteins with genetically encoded "chemical warheads".

Project description:We recently developed a phage-based system for the evolution of proteins in bacteria with expanded amino acid genetic codes. Here we demonstrate that the unnatural amino acid p-boronophenylalanine (BF) confers a selective advantage in the evolution of glycan-binding proteins. We show that an unbiased library of naive antibodies with NNK-randomized V(H) CDR3 loops converges upon mutants containing BF when placed under selection for binding to a model acyclic amino sugar. This work represents a first step in the evolution of carbohydrate-binding proteins that use a reactive unnatural amino acid "warhead" and demonstrates that a "synthetic" genetic code can confer a selective advantage by increasing the number of functional groups available to evolution.

| S-EPMC2745334 | biostudies-literature

Verification of a Motion Sensor for Evaluating Physical Activity in COPD Patients.

Project description:BackgroundObjective evaluation of the physical activity (PA) in patients with chronic obstructive pulmonary disease (COPD) is important. We validated a triaxial accelerometer, Active Style Pro HJA-750C® (HJA), and evaluated the necessary conditions for obtaining reproducible data.MethodsThe PA measured by HJA was compared with that measured by two already validated accelerometers in 11 patients with COPD (age: 76.6 ± 6.9, FEV1% predicted: 57.6 ± 18.6). Then, the influence of weather and holidays on the PA and the required number of days to obtain repeatability were examined in 21 patients with COPD (age: 73.0 ± 8.0, FEV1% predicted: 58.7 ± 19.0).ResultsThe PA values measured by HJA and those by DynaPort Move Monitor® (DMM) or Actimarker® (AM) were significantly correlated at all intensities (p=0.024 at ≥4.0 METs by DMM and p < 0.0001 at the rest) except at ≥4.0 METs by AM, though the values measured by HJA were higher than those by AM which was reported to underestimate PA. The durations of PA on rainy days were significantly shorter than those on nonrainy days, but those on holidays were not different from those on weekdays. The values of ICC for 3, 4, or 5 days were higher than 0.8 at all intensities. The PA measured by HJA was correlated with the dyspnea scale FVC and age and tended to correlate with FEV1.ConclusionsThe HJA was validated for evaluating the PA in patients with COPD. This trial is registered with UMIN000016363.

| S-EPMC5937578 | biostudies-literature

OmicsDI is part of the ELIXIR infrastructure

OmicsDI is an Elixir interoperability service. Learn more ›

Tweets

OmicsDI Databases

PRIDE
PeptideAtlas
MassIVE
JPOST Repository
Physiome Model Repository

EGA
EVA
ENA
LINCS
PAXDB
Cell Collective

MetaboLights
Metabolomics Workbench
MetabolomeExpress
GNPS
BioModels
FAIRDOMHub

ArrayExpress
dbGaP
ExpressionAtlas
GEO
NODE

Information

Databases
Help
API
Contact us
Code on GitHub
Terms of use
Submit Data