Photonic quantum technologies represent a promising platform for several applications,
ranging from long-distance communications to the simulation of complex phenomena …

Quantum technologies hold the promise of not only faster algorithmic processing of data, via
quantum computation, but also of more secure communications, in the form of quantum …

Quantum computers promise to efficiently solve not only problems believed to be intractable
for classical computers, but also problems for which verifying the solution is also considered …

Blind quantum computing (BQC) allows a client to have a server carry out a quantum
computation for them such that the client's input, output, and computation remain private. A …

We introduce a simple protocol for verifiable measurement-only blind quantum computing.
Alice, a client, can perform only single-qubit measurements, whereas Bob, a server, can …

Device-independent security is the gold standard for quantum cryptography: not only is
security based entirely on the laws of quantum mechanics, but it holds irrespective of any a …

The widely held belief that BQP strictly contains BPP raises fundamental questions: if we
cannot efficiently compute predictions for the behavior of quantum systems, how can we test …

Recent advances in theoretical and experimental quantum computing bring us closer to
scalable quantum computing devices. This makes the need for protocols that verify the …

In a recent breakthrough, Mahadev constructed an interactive protocol that enables a purely
classical party to delegate any quantum computation to an untrusted quantum prover. We …

The problem of reliably certifying the outcome of a computation performed by a quantum
device is rapidly gaining relevance. We present two protocols for a classical verifier to …