Alexander Glaser

Learn More
The verification of nuclear warheads for arms control involves a paradox: international inspectors will have to gain high confidence in the authenticity of submitted items while learning nothing about them. Proposed inspection systems featuring 'information barriers', designed to hide measurements stored in electronic systems, are at risk of tampering and(More)
Future arms-control and disarmament treaties could place numerical limits on all categories of nuclear weapons in the arsenals of weapon states, including tactical weapons, non-deployed weapons, and weapons awaiting dismantlement. Verification of such agreements is likely to require new types of inspection equipment — but also new verification protocols.(More)
We have previously proposed a " Zero-Knowledge " approach to nuclear warhead verification that avoids the need for an electronic information barrier, since sensitive information is never stored electronically. The basic concept is to use a Zero-Knowledge Protocol to make differential transmission radiographs and neutron emission measurements, comparing(More)
Nuclear weapon states historically have attached great secrecy to their nuclear weapon and fissile material production programs and stockpiles, despite warnings that this would fuel fears, handicap informed debate and decision making, and drive arms races. As evidenced by the " Action Plan on Nuclear Disarmament " agreed upon at the 2010 Treaty on the(More)
Negotiated deeper cuts in the nuclear arsenals may place limits on the total number of nuclear weapons in states' stockpiles, which could require inspections on hundreds or thousands of warheads or warhead components currently in storage or in dismantlement queues. The process of authenticating treaty limited items, e.g. with passive or active radiation(More)
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(More)