32 citations · 34 across the 2 of their papers we have counts for
2 papers
cs.CR2018★ 2 cited
A Cryptographic Escrow for Treaty Declarations and Step-by-Step Verification
Sébastien Philippe, Alexander Glaser, Edward W. Felten
The verification of arms-control and disarmament agreements requires states to provide declarations, including information on sensitive military sites and assets. There are importa…
physics.ins-det2016★ 32 cited
A physical zero-knowledge object-comparison system for nuclear warhead verification
Sébastien Philippe, Robert J. Goldston, Alexander Glaser +1
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…