Kai-Min Chung

Institute of Information Science, Academia Sinica — Taiwan

Computer Science · Physical Sciences

26h-index2.7kcitations185works1.52yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Cryptography and Data Security(102), Complexity and Algorithms in Graphs(67), Quantum Computing Algorithms and Architecture(51), Cryptographic Implementations and Security(34), Quantum Information and Cryptography(31)

Publications185 total

Tight Quantum Time-Space Tradeoffs for Permutation Inversion
arXiv (Cornell University)·2025Open Access
On the Verification of Quantum Circuits (Research Challenges and Opportunities)
Lecture notes in computer science·2025
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits
Communications of the ACM·2025· 7 citedOpen Access
An Efficient On-Chip Reference Search and Optimization Algorithms for Variation-Tolerant STT-MRAM Read
2025
Online TSP and Online Dial-a-Ride with Predictions
INFORMS journal on computing·2025Open Access
AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs
Lecture notes in computer science·2025· 2 citedOpen Access
AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs
arXiv (Cornell University)·2024· 1 citedOpen Access
Complexity Theory for Quantum Promise Problems
arXiv (Cornell University)·2024Open Access
The Black-Box Simulation Barrier Persists in a Fully Quantum World
arXiv (Cornell University)·2024· 1 citedOpen Access
On Central Primitives for Quantum Cryptography with Classical Communication
arXiv (Cornell University)·2024Open Access
Incorporating Zero-Probability Constraints to Device-Independent Randomness Expansion
arXiv (Cornell University)·2024Open Access
On Central Primitives for Quantum Cryptography with Classical Communication
Lecture notes in computer science·2024· 9 cited
Best-of-Both-Worlds Multiparty Quantum Computation with Publicly Verifiable Identifiable Abort
Lecture notes in computer science·2024
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits
Proceedings of the ACM on Programming Languages·2023· 33 citedOpen Access
On the Impossibility of General Parallel Fast-forwarding of Hamiltonian Simulation
arXiv (Cornell University)·2023Open Access
An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits (Technical Report)
arXiv (Cornell University)·2023· 1 citedOpen Access
On the (Im)possibility of Time-Lock Puzzles in the Quantum Random Oracle Model
Lecture notes in computer science·2023· 4 citedOpen Access
Black-Box Separations for Non-interactive Classical Commitments in a Quantum World
Lecture notes in computer science·2023· 7 cited
AutoQ: An Automata-Based Quantum Circuit Verifier
Lecture notes in computer science·2023· 21 citedOpen Access
On the Need for Large Quantum Depth
Journal of the ACM·2022· 12 citedOpen Access
page 1 of 10Next →

Frequent Co-authors

Rafael Pass(17), Elaine Shi(5), Salil Vadhan(4), Elette Boyle(4), Huijia Lin(4), Wei-Kai Lin(4), T-H. Hubert Chan(4), Wei‐Chun Kao(3), Chih‐Jen Lin(3), Feng-Hao Liu(3), Yu‐Chi Chen(3), Mohammad Mahmoody(3), Rafail Ostrovsky(3), Ching–Yi Lai(3), Yael Tauman Kalai(2), Chia‐Liang Sun(2), Seth Pettie(2), Hsin-Hao Su(2), Sherman S. M. Chow(2), Russell W. F. Lai(2)