Carl A. Miller
Fellow,
Joint Center for Quantum Information and Computer Science (QuICS)
Mathematician, NIST Computer Security Division
UMD phone: (301) 4057367
UMD office: 3100K Atlantic Building
Curriculum
vitae
QuICS Profile




I am also an affiliate
faculty in Mathematics and AMSC and an adjunct in Computer Science and UMIACS.
Research:
I
work on quantum information processing, a field where a
number of different disciplines and styles of thinking converge. My
particular focus is on quantum cryptography, where proving the security of new
protocols often involves some creative and interesting mathematics. I am
interested more generally in applications of higher mathematics to theoretical
computer science.
Activities:
Program Chair for QCRYPT 2021;
Program Committee Member for QCRYPT 2023,
QIP 2023, TQC 2022, QCRYPT 2018, QIP 2016, TQC 2016, QCRYPT 2016.
Local or Scientific Organizing Committee Member for TQC 2019, TYQI 2016, and TYQI 2015.
Scientific Lead for the MathQuantum RTG at UMD.
Team Member for the NIST
Postquantum Cryptography Project.
Committee
Member for the UMD High
School Mathematics Competition.
Selected
work:
 Hiddenstate
proofs of quantumness.
 Evaluating
the security of CRYSTALSDilithium in the
quantum random oracle model.
Kelsey A. Jackson, Carl A. Miller, Daochen Wang.
Advances in CRYPTOLOGY  EUROCRYPT 2024, pp. 418446. (2024)
 Perfect
cheating is impossible for singlequbit position verification.
Carl A. Miller, Yusuf Alnawakhtha.
 Latticebased
quantum advantage from rotated measurements.
Yusuf Alnawakhtha, Atul Mantri, Carl A. Miller, Daochen Wang.
Quantum 8, pp. 1399 (2024).
 The
mathematics of quantum coinflipping.
Notices of the American Mathematical Society 69, no. 11, pp.
19081917 (2022).
 The
membership problem for constantsized quantum correlations is undecidable.
Honghao Fu, Carl A. Miller, William Slofstra.
 Experimental
lowlatency deviceindependent quantum randomness.
Yanbao Zhang, et al.
Physical Review Letters 124,
010505 (2020).
 Universal
security for randomness expansion from the spotchecking protocol.
Carl A. Miller, Yaoyun Shi.
SIAM Journal on Computing 46, No. 4, pp. 13041335 (2017).
 Evasiveness
of graph properties and topological fixedpoint theorems.
(Expository.)
Foundations and Trends in Theoretical Computer Science 7, No. 4,
pp. 337415 (2013).
 An
EulerPoincare bound for equicharacteristic etale sheaves.
(A condensed version of my dissertation.)
Algebra & Number Theory 4, No. 1, 2145 (2010).
Graduate
students:
Honghao Fu (computer science, graduated in 2021, now an
assistant professor at Concordia University)
Daochen Wang
(applied math, graduated in 2023, now an assistant professor at the University
of British Columbia)
Yusuf Alnawakhtha (computer science)
Kelsey Jackson
(physics)
Khalil Guy (applied
math)
Miscellaneous:
o Math 312 (Applied
Modern Algebra)
o Math 567 (Introduction
to Coding Theory)
o Math 425 (Introduction
to Probability)
o Math 217 (Linear
Algebra)