Physical Cryptographic Verification of Nuclear Warheads

Proceedings of the National Academy of Sciences of the United States of America - United States
doi 10.1073/pnas.1603916113
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Proceedings of the National Academy of Sciences

Related search

Dismantling U.S. Nuclear Warheads

Bulletin of the Atomic Scientists
International RelationsPolitical Science
2004English

Design Chosen for Nuclear Warheads

Nature
Multidisciplinary
2007English

US Backs Revamp of Nuclear Warheads

Nature
Multidisciplinary
2006English

First-Order Verification of Cryptographic Protocols

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2003English

Automatic Verification of Temporal-Epistemic Properties of Cryptographic Protocols

Journal of Applied Non-Classical Logics
PhilosophyLogic
2009English

Integrating Verification, Testing, and Learning for Cryptographic Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Type-Based Automated Verification of Authenticity in Cryptographic Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Cryptographic Algorithms and Key Sizes for Personal Identity Verification

2010English

Cryptographic Algorithms and Key Sizes for Personal Identity Verification

2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy