1. Research
  2. Publications

Publications

Export 2 results:
Author [ Title(Desc)] Type Year
Filters: Author is Lee, Yi  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
F
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.
Q
L. Li, Zhu, M., Lee, Y., Chang, L., and Wu, X., “Quantum Natural Proof: A New Perspective of Hybrid Quantum-Classical Program Verification”, 2022.