Loading...
conference paper
Sound Proof of Proximity of Knowledge
2015
ProvSec 2015: Provable Security
Public-key distance bounding schemes are needed to defeat relay attacks in payment systems. So far, only five such schemes exist, but fail to fully protect against malicious provers. In this paper, we solve this problem. We provide a full formalism to define the proof of proximity of knowledge (PoPoK). Protocols should succeed if and only if a prover holding a secret is within the proximity of the verifier. Like proofs of knowledge, these protocols must satisfy completeness, soundness (protection for the honest verifier), and security (protection for the honest prover). We construct ProProx, the very first sound PoPoK.
Loading...
Name
db-pk.pdf
Access type
openaccess
Size
179.57 KB
Format
Adobe PDF
Checksum (MD5)
093d93b68868ee71d68ea4586ebf058f