Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ruaridh R. Macdonald
Physical Cryptographic Verification of Nuclear Warheads
Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
Related publications
Dismantling U.S. Nuclear Warheads
Bulletin of the Atomic Scientists
International Relations
Political Science
Design Chosen for Nuclear Warheads
Nature
Multidisciplinary
US Backs Revamp of Nuclear Warheads
Nature
Multidisciplinary
First-Order Verification of Cryptographic Protocols
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Automatic Verification of Temporal-Epistemic Properties of Cryptographic Protocols
Journal of Applied Non-Classical Logics
Philosophy
Logic
Integrating Verification, Testing, and Learning for Cryptographic Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Type-Based Automated Verification of Authenticity in Cryptographic Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Cryptographic Algorithms and Key Sizes for Personal Identity Verification
Cryptographic Algorithms and Key Sizes for Personal Identity Verification
