Publications

Book Chapter
B. Lackey, A Bochner Vanishing Theorem for Elliptic Complexes, in The Theory of Finslerian Laplacians and Applications, Springer, 1998, pp. 199–226.
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 Lichnerowicz Vanishing Theorem for Finsler Spaces, in The Theory of Finslerian Laplacians and Applications, Springer, 1998, pp. 227–243.
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.
Conference Paper
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.
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.
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.
A. Anshu, Touchette, D., Yao, P., and Yu, N., Exponential Separation of Quantum Communication and Classical Information, in 20th Annual Conference on Quantum Information Processing (QIP), 2016.
M. Barbosa, Barthe, G., Doczkal, C., Don, J., Fehr, S., Grégoire, B., Huang, Y. - H., Hülsing, A., Lee, Y., and Wu, X., Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium, in Advances in Cryptology – CRYPTO 2023, Cham, 2023.
B. D. Walker, Lackey, B. C., Muller, J. S., and Schone, P. John, Language-reconfigurable universal phone recognition, in Eighth European Conference on Speech Communication and Technology, 2003.
S. Kimmel and Liu, Y. - K., Phase retrieval using unitary 2-designs, in SampTA 2017, 2017.
S. Ben-David, Childs, A. M., Gilyen, A., Kretschmer, W., Podder, S., and Wang, D., Symmetries, graph properties, and quantum speedups, in Proceedings of the 61st IEEE Symposium on Foundations of Computer Science (FOCS 2020), pp. 649–660 (2020), 2020.
Conference Proceedings
S. P. Jordan and Alagic, G., Approximating the Turaev-Viro Invariant of Mapping Tori is Complete for One Clean Qubit, In Proceedings of the Sixth Conference on Theory of Quantum Computation, Communication and Cryptography (TQC11). 2011.
N. M. Linke, Maslov, D., Roetteler, M., Debnath, S., Figgatt, C., Landsman, K. A., Wright, K., and Monroe, C., Experimental Comparison of Two Quantum Computing Architectures, Proceedings of the National Academy of Sciences, vol. 114. pp. 3305-3310, 2017.
G. Alagic, Jeffery, S., and Jordan, S. P., Partial-indistinguishability obfuscation using braids, In Proceedings of the Sixth Conference on Theory of Quantum Computation, Communication and Cryptography (TQC14). 2014.
A. W. Harrow, Lin, C. Yen- Yu, and Montanaro, A., Sequential measurements, disturbance and property testing, Proceedings of ​the 28th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA). pp. 1598-1611, 2017.