Jiahui Liu 0003

dblp:27/967-3 · DBLP profile ↗
← Back
13ranked-venue papers
6as first author
13since 2021 · last 2026
0000-0003-4380-8168ORCID · conflict

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 10 · 4 first-author · 10 since 2021Theory of computation · 5 · 4 first-author · 5 since 2021
YearPublicationVenuePosition
2026 The Black-Box Simulation Barrier Persists in a Fully Quantum World
Nai-Hui Chia, Kai-Min Chung, Xiao Liang 0014, Jiahui Liu 0003
EUROCRYPT (7)4
2025 Quantum Key Leasing for PKE and FHE with a Classical Lessor
Orestis Chardouvelis, Vipul Goyal, Aayush Jain, Jiahui Liu 0003
EUROCRYPT (3)4
2025 Quantum One-Time Programs, Revisited
Aparna Gupte, Jiahui Liu 0003, Justin Raizes, Bhaskar Roberts, Vinod Vaikuntanathan
STOC2
2025 QMA vs QCMA and Pseudorandomness
Jiahui Liu 0003, Saachi Mutreja, Henry Yuen
STOC1
2024 Unclonable Secret Sharing
Prabhanjan Vijendra Ananth, Vipul Goyal, Jiahui Liu 0003, Qipeng Liu 0001
ASIACRYPT (9)3
2024 Composability in Watermarking Schemes
Jiahui Liu 0003, Mark Zhandry
TCC (3)1
2023 Another Round of Breaking and Making Quantum Money: - How to Not Build It from Lattices, and More
Jiahui Liu 0003, Hart William Montgomery, Mark Zhandry
EUROCRYPT (1)1
2022 Beating Classical Impossibility of Position Verification
abstract
Chandran et al. (SIAM J. Comput.'14) formally introduced the cryptographic task of position verification, where they also showed that it cannot be achieved by classical protocols. In this work, we initiate the study of position verification protocols with classical verifiers. We identify that proofs of quantumness (and thus computational assumptions) are necessary for such position verification protocols. For the other direction, we adapt the proof of quantumness protocol by Brakerski et al. (FOCS'18) to instantiate such a position verification protocol. As a result, we achieve classically verifiable position verification assuming the quantum hardness of Learning with Errors. Along the way, we develop the notion of 1-of-2 non-local soundness for a natural non-local game for 1-of-2 puzzles, first introduced by Radian and Sattath (AFT'19), which can be viewed as a computational unclonability property. We show that 1-of-2 non-local soundness follows from the standard 2-of-2 soundness (and therefore the adaptive hardcore bit property), which could be of independent interest.
Jiahui Liu 0003, Qipeng Liu 0001, Luowen Qian
ITCS1
2022 Collusion Resistant Copy-Protection for Watermarkable Functionalities
Jiahui Liu 0003, Qipeng Liu 0001, Luowen Qian, Mark Zhandry
TCC (1)1
2021 Adaptive Security via Deletion in Attribute-Based Encryption: Solutions from Search Assumptions in Bilinear Groups
Rishab Goyal, Jiahui Liu 0003, Brent Waters
ASIACRYPT (4)2
2021 New Approaches for Quantum Copy-Protection
Scott Aaronson, Jiahui Liu 0003, Qipeng Liu 0001, Mark Zhandry, Ruizhe Zhang 0001
CRYPTO (1)2
2021 Hidden Cosets and Applications to Unclonable Cryptography
Andrea Coladangelo, Jiahui Liu 0003, Qipeng Liu 0001, Mark Zhandry
CRYPTO (1)2
2021 Secure Multiparty Computation in the Bounded Storage Model
Jiahui Liu 0003, Satyanarayana Vusirikala
IMACC1