Yi Lee
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2021–2024
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ECOOP | Qafny: A Quantum-Program Verifier. | Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang, Xiaodi Wu |
| 2024 | EMNLP | MC-indexing: Effective Long Document Retrieval via Multi-view Content-aware Indexing. | Kuicai Dong, Derrick-Goh-Xin Deik, Yi Lee, Hao Zhang, Xiangyang Li, Cong Zhang, Yong Liu |
| 2023 | CRYPTO | Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium. | Manuel Barbosa, Gilles Barthe, Christian Doczkal, Jelle Don, Serge Fehr, Benjamin Grgoire, Yu-Hsuan Huang, Andreas Hlsing, Yi Lee, Xiaodi Wu |
| 2022 | EuroCrypt | Constant-Round Blind Classical Verification of Quantum Sampling. | Kai-Min Chung, Yi Lee, Han-Hsuan Lin, Xiaodi Wu |
| 2021 | CRYPTO | Round Efficient Secure Multiparty Quantum Computation with Identifiable Abort. | Bar Alon, Hao Chung, Kai-Min Chung, Mi-Ying Huang, Yi Lee, Yu-Ching Shen |