We present a step towards the goal of producing a general cryptographic'compilation'
procedure which can translate any entangled nonlocal game into a single-prover interactive …

Bell non-locality is a fundamental feature of quantum mechanics whereby measurements
performed on" spatially separated" quantum systems can exhibit correlations that cannot be …

Nonlocal games play a crucial role in quantum information theory and have numerous
applications in certification and cryptographic protocols. Kalai et al.(STOC 2023) introduced …

Quantum key leasing, also known as public key encryption with secure key leasing (PKE-
SKL), allows a user to lease a (quantum) secret key to a server for decryption purpose, with …

Bell non-locality is a fundamental feature of quantum mechanics whereby measurements
performed on “spatially separated” quantum systems can exhibit correlations that cannot be …

We put forth Oblivious State Preparation (OSP) as a cryptographic primitive that unifies
techniques developed in the context of a quantum server interacting with a classical client …

A recent work of Kalai et al.(STOC 2023) shows how to compile any multi-player nonlocal
game into a protocol with a single computationally-bounded prover. Subsequent works have …

With the rapid development of quantum computers, proofs of quantumness have recently
become an interesting and intriguing research direction. However, in all current schemes for …

Self-testing is the task where spatially separated Alice and Bob cooperate to deduce the
inner workings of untrusted quantum devices by interacting with them in a classical manner …

An experimental cryptographic proof of quantumness will be a vital milestone in the progress
of quantum information science. Error tolerance is a persistent challenge for implementing …