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)