1 citations · 1 across the 5 of their papers we have counts for
6 papers
Verified Pythagorean Composition for Adaptive Cryptographic Games: Noise Flooding in Homomorphic Encryption
Yi Lee, Alexandru Cojocaru, Junyi Liu +1
Noise flooding is a standard defense against decryption attacks on approximate homomorphic encryption, but its security proof is unusually sensitive to composition. Replacing each…
End-to-End Formalization of Quantum Error Correction
Mattias Ehatamm, Yi Lee, Xiaodi Wu +1
Quantum error-correcting codes (QECCs) sit between noisy quantum hardware and reliable computation, so the code parameters used in practice must be trustworthy. The single number t…
RISC-Q: A Generator for Real-Time Quantum Control System-on-Chips Compatible with RISC-V
Junyi Liu, Yi Lee, Haowei Deng +3
Quantum computing imposes stringent requirements for the precise control of large-scale qubit systems, including, for example, microsecond-latency feedback and nanosecond-precision…
Multi-round, Chain-of-thought Post-editing for Unfaithful Summaries
Yi-Hui Lee, Xiangci Li, Jessica Ouyang
Recent large language models (LLMs) have demonstrated a remarkable ability to perform natural language understanding and generation tasks. In this work, we investigate the use of L…
Qafny: A Quantum-Program Verifier
Liyi Li, Mingwei Zhu, Rance Cleaveland +4
Because of the probabilistic/nondeterministic behavior of quantum programs, it is highly advisable to verify them formally to ensure that they correctly implement their specificati…
Constant-round Blind Classical Verification of Quantum Sampling
Kai-Min Chung, Yi Lee, Han-Hsuan Lin +1
In a recent breakthrough, Mahadev constructed a classical verification of quantum computation (CVQC) protocol for a classical client to delegate decision problems in BQP to an untr…