Deciding unitary equivalence between matrix polynomials and sets of bipartite quantum states. - Eric Chitambar; Carl A. Miller; Yaoyun Shi (Quantum Inf. Comput., 2011)

Optimal Robust Self-Testing by Binary Nonlocal XOR Games. - Carl A. Miller; Yaoyun Shi (TQC, 2013)

Evasiveness of Graph Properties and Topological Fixed-Point Theorems. - Carl A. Miller (Found. Trends Theor. Comput. Sci., 2013)

Robust Protocols for Securely Expanding Randomness and Distributing Keys Using Untrusted Quantum Devices. - Carl A. Miller; Yaoyun Shi (J. ACM, 2016)

Randomness in nonlocal games between mistrustful players. - Carl A. Miller; Yaoyun Shi (Quantum Inf. Comput., 2017)

Universal Security for Randomness Expansion from the Spot-Checking Protocol. - Carl A. Miller; Yaoyun Shi (SIAM J. Comput., 2017)

Parallel Self-Testing of the GHZ State with a Proof by Diagrams. - Spencer Breiner; Amir Kalev; Carl A. Miller (QPL, 2018)

Graphical Methods in Device-Independent Quantum Cryptography. - Spencer Breiner; Carl A. Miller; Neil J. Ross (Quantum, 2019)

The impossibility of efficient quantum weak coin flipping. - Carl A. Miller (STOC, 2020)

Parallel Device-Independent Quantum Key Distribution. - Rahul Jain 001; Carl A. Miller; Yaoyun Shi (IEEE Trans. Inf. Theory, 2020)

The membership problem for constant-sized quantum correlations is undecidable. - Honghao Fu; Carl A. Miller; William Slofstra (CoRR, 2021)

Evaluating the security of CRYSTALS-Dilithium in the quantum random oracle model. - Kelsey A. Jackson; Carl A. Miller; Daochen Wang (IACR Cryptol. ePrint Arch., 2023)

Lattice-Based Quantum Advantage from Rotated Measurements. - Yusuf Alnawakhtha; Atul Mantri; Carl A. Miller; Daochen Wang (Quantum, 2024)