Publications

Conference Paper
K. Hietala, Li, L., Gaur, A., Green, A., Rand, R., Wu, X., and Hicks, M., Expanding the VOQC Toolkit, in The Second International Workshop on Programming Languages for Quantum Computing (PLanQC 2021), 2021.
G. Alagic, Broadbent, A., Fefferman, B., Gagliardoni, T., Schaffner, C., and Jules, M. St., Computational Security of Quantum Encryption, in Computational Security of Quantum Encryption. In: Nascimento A., Barreto P. (eds) Information Theoretic Security. , 2016.
D. Leung, Nayak, A., Shayeghi, A., Touchette, D., Yao, P., and Yu, N., Capacity Approaching Codes for Low Noise Interactive Quantum Communication, in Annual ACM Symposium on the Theory of Computing STOC 2018, 2018.
Book Chapter
C. Miller and Shi, Y., Optimal robust self-testing by binary nonlocal XOR games, in 8th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2013, vol. 22, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2013, pp. 254–262.
B. Lackey, A Lichnerowicz Vanishing Theorem for Finsler Spaces, in The Theory of Finslerian Laplacians and Applications, Springer, 1998, pp. 227–243.
D. Bao and Lackey, B., A geometric inequality and a Weitzenboeck formula for Finsler surfaces, in The Theory of Finslerian Laplacians and Applications, Springer, 1998, pp. 245–275.
B. Lackey, A Bochner Vanishing Theorem for Elliptic Complexes, in The Theory of Finslerian Laplacians and Applications, Springer, 1998, pp. 199–226.