1. Research
  2. Publications

Publications

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