Publications

Conference Proceedings
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.
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.
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.
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.
Conference Paper
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.
S. Kimmel and Liu, Y. - K., Phase retrieval using unitary 2-designs, in SampTA 2017, 2017.
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.
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.
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.
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.