Carl Miller is an Adjunct Assistant Professor in the University of Maryland Institute for Advanced Computer Studies and a Mathematician in the Cryptographic Technologies group at NIST.
Miller studies new security proofs for quantum cryptography. His particular focus is on developing mathematical techniques for untrusted-device cryptography, where initial assumptions for the security proof are minimal. Specific topics of interest include random number generation, rigidity properties of nonlocal games, and parallel repetition.
Miller received a Ph. D. in Mathematics from Berkeley in 2007.