Device-independent quantum authorization based on the Clauser-Horne-Shimony-Holt game

TL;DR

This paper introduces a device-independent quantum authorization protocol leveraging non-locality and CHSH game winning ability, with formal security proof and a practical implementation using Qiskit.

Contribution

It presents a novel two-party quantum authorization scheme based on CHSH non-locality, formalizes its security, and demonstrates a proof-of-concept implementation.

Findings

Protocol successfully encodes authorization levels in non-local resources.

Security is formally proven within the device-independent framework.

A practical implementation using Qiskit validates the protocol's feasibility.

Abstract

In the spirit of device-independent cryptography, we present a two-party quantum authorization primitive with non-locality as its fueling resource. Therein, users are attributed authorization levels granting them access to a private database accordingly. The authorization levels are encoded in the non-local resources distributed to the users, and subsequently confirmed by their ability to win CHSH games using such resources. We formalize the protocol, prove its security, and frame it in the device-independent setting employing the notion of CHSH self-testing via simulation. Finally, we provide a proof-of-concept implementation using the Qiskit open-source framework.