1. Research
  2. Publications

Publications

Export 3 results:
Author Title [ Type(Desc)] Year
Filters: Author is Yi Lee  [Clear All Filters]
Journal Article
K. - M. Chung, Lee, Y., Lin, H. - H., and Wu, X., “Constant-round Blind Classical Verification of Quantum Sampling”, 2020.
L. Li, Zhu, M., Cleaveland, R., Nicolellis, A., Lee, Y., Chang, L., and Wu, X., “Qafny: A Quantum-Program Verifier”, 2024.
L. Li, Zhu, M., Cleaveland, R., Lee, Y., Chang, L., and Wu, X., “Qafny: Quantum Program Verification Through Type-guided Classical Separation Logic”, 2023.