64 citations · 231 across the 22 of their papers we have counts for
7 papers · 1 filter
Local Randomness: Examples and Application
Honghao Fu, Carl A. Miller
When two players achieve a superclassical score at a nonlocal game, their outputs must contain intrinsic randomness. This fact has many useful implications for quantum cryptography…
An Elementary Proof of Private Random Number Generation from Bell Inequalities
Carl A. Miller
The field of device-independent quantum cryptography has seen enormous success in the past several years, including security proofs for key distribution and random number generatio…
Randomness in nonlocal games between mistrustful players
Carl A. Miller, Yaoyun Shi
If two quantum players at a nonlocal game G achieve a superclassical score, then their measurement outcomes must be at least partially random from the perspective of any third play…
Keyring models: an approach to steerability
Carl A. Miller, Roger Colbeck, Yaoyun Shi
If a measurement is made on one half of a bipartite system, then, conditioned on the outcome, the other half has a new reduced state. If these reduced states defy classical explana…
Graphical Methods in Device-Independent Quantum Cryptography
Spencer Breiner, Carl A. Miller, Neil J. Ross
We introduce a framework for graphical security proofs in device-independent quantum cryptography using the methods of categorical quantum mechanics. We are optimistic that this ap…
Rigidity of the magic pentagram game
Amir Kalev, Carl A. Miller
A game is rigid if a near-optimal score guarantees, under the sole assumption of the validity of quantum mechanics, that the players are using an approximately unique quantum strat…
Parallel Device-Independent Quantum Key Distribution
Rahul Jain, Carl A. Miller, Yaoyun Shi
A prominent application of quantum cryptography is the distribution of cryptographic keys that are provably secure. Recently, such security proofs were extended by Vazirani and Vid…