Yoshiyuki Ootani

The paper proposes a graduated trust gating mechanism for IoT location verification that moves beyond binary decisions, allowing systems to dynamically escalate verification rigor based on signal integrity scores.

The paper introduces Search-Bound Proximity Proofs (SBPP) to close an authorization provenance gap in encrypted geographic search by binding zero-knowledge proofs to specific search sessions for auditable forensic tracking.

The paper addresses the vulnerability of zero-knowledge proximity proofs in stateful systems by proposing Zairn-ZKP, a method that embeds operational context (like drop identity and policy version) directly into the proof circuit to prevent cross-application data transfer.