1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.CR2026
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…
cs.AR2025
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…
quant-ph2024★ 1 cited
The Quantum Abstract Machine
Liyi Li, Le Chang, Rance Cleaveland +2
This paper develops a model of quantum behavior that is intended to support the abstract yet accurate design and functional verification of quantum communication protocols. The wor…