Showing cs.CRShow all
3 papers · 1 filter
cs.CR2026
Search-Bound Proximity Proofs: Binding Encrypted Geographic Search to Zero-Knowledge Verification
Yoshiyuki Ootani
Location-based systems that combine encrypted geographic search with zero-knowledge proximity proofs typically treat the two phases as independent. Under an honest-but-curious serv…
cs.CR2026
Context-Binding Gaps in Stateful Zero-Knowledge Proximity Proofs: Taxonomy, Separation, and Mitigation
Yoshiyuki Ootani
A zero-knowledge proximity proof certifies geometric nearness but carries no commitment to an application context. In stateful geo-content systems, where drops can share coordinate…
cs.CR2026
Graduated Trust Gating for IoT Location Verification: Trading Off Detection and Proof Escalation
Yoshiyuki Ootani
IoT location services accept client-reported GPS coordinates at face value, yet spoofing is trivial with consumer-grade tools. Existing spoofing detectors output a binary decision,…