Yi Lee

Li, L., Zhu, M., Cleaveland, R., Nicolellis, A., Lee, Y., Chang, L., & Wu, X. (2024). Qafny: A Quantum-Program Verifier. In ECOOP 2024. http://doi.org/10.4230/LIPIcs.ECOOP.2024.24 (Original work published September 2024)

Barbosa, M., Barthe, G., Doczkal, C., Don, J., Fehr, S., Grégoire, B., … Wu, X. (2023). Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium. Cryptology EPrint Archive. Retrieved from https://eprint.iacr.org/2023/246 (Original work published February 2023)

Li, L., Zhu, M., Cleaveland, R., Lee, Y., Chang, L., & Wu, X. (2023). Qafny: Quantum Program Verification Through Type-guided Classical Separation Logic. ArXiv. Retrieved from https://arxiv.org/abs/2211.06411 (Original work published July 2023)

Li, L., Zhu, M., Lee, Y., Chang, L., & Wu, X. (2022). Quantum Natural Proof: A New Perspective of Hybrid Quantum-Classical Program Verification. ArXiv. Retrieved from https://arxiv.org/abs/2211.06411 (Original work published November 2022)

Chung, K.-M., Lee, Y., Lin, H.-H., & Wu, X. (2020). Constant-round Blind Classical Verification of Quantum Sampling. ArXiv. Retrieved from https://arxiv.org/abs/2012.04848 (Original work published December 2020)