| 2026 | CRYPTO | Constant-Rate Certified Deletion. | Kai-Min Chung, Tzu-Hsiang Huang, Wei-Hsiang Hung, Shota Yamada |
| 2026 | EuroCrypt | Tight Quantum Time-Space Tradeoffs for Permutation Inversion. | Akshima, Tyler Besselman, Kai-Min Chung, Siyao Guo, Tzu-Yi Yang |
| 2026 | EuroCrypt | The Black-Box Simulation Barrier Persists in a Fully Quantum World. | Nai-Hui Chia, Kai-Min Chung, Xiao Liang, Jiahui Liu |
| 2026 | TACAS | Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting. | Wei-Jia Huang, Christophe Chareton, Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Alfons Laarman, Jingyi Mei |
| 2025 | TACAS | AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs. | Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Wei-Jia Huang, Ondrej Lengl, Jyun-Ao Lin, Wei-Lun Tsai |
| 2024 | CRYPTO | On Central Primitives for Quantum Cryptography with Classical Communication. | Kai-Min Chung, Eli Goldin, Matthew Gray |
| 2024 | EuroCrypt | Best-of-Both-Worlds Multiparty Quantum Computation with Publicly Verifiable Identifiable Abort. | Kai-Min Chung, Mi-Ying (Miryam) Huang, Er-Cheng Tang, Jiapeng Zhang |
| 2023 | ASIACRYPT | On the (Im)possibility of Time-Lock Puzzles in the Quantum Random Oracle Model. | Abtin Afshar, Kai-Min Chung, Yao-Ching Hsieh, Yao-Ting Lin, Mohammad Mahmoody |
| 2023 | CAV | AutoQ: An Automata-Based Quantum Circuit Verifier. | Yu-Fang Chen, Kai-Min Chung, Ondrej Lengl, Jyun-Ao Lin, Wei-Lun Tsai |
| 2023 | EuroCrypt | Black-Box Separations for Non-interactive Classical Commitments in a Quantum World. | Kai-Min Chung, Yao-Ting Lin, Mohammad Mahmoody |
| 2022 | ASIACRYPT | Collusion-Resistant Functional Encryption for RAMs. | Prabhanjan Ananth, Kai-Min Chung, Xiong Fan, Luowen Qian |
| 2022 | CRYPTO | On the Impossibility of Key Agreements from Quantum Random Oracles. | Per Austrin, Hao Chung, Kai-Min Chung, Shiuan Fu, Yao-Ting Lin, Mohammad Mahmoody |
| 2022 | CRYPTO | Post-quantum Simulatable Extraction with Minimal Assumptions: Black-Box and Constant-Round. | Nai-Hui Chia, Kai-Min Chung, Xiao Liang, Takashi Yamakawa |
| 2022 | EuroCrypt | Constant-Round Blind Classical Verification of Quantum Sampling. | Kai-Min Chung, Yi Lee, Han-Hsuan Lin, Xiaodi Wu |
| 2022 | PKC | A Note on the Post-quantum Security of (Ring) Signatures. | Rohit Chatterjee, Kai-Min Chung, Xiao Liang, Giulio Malavolta |
| 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 |
| 2021 | CRYPTO | On the Concurrent Composition of Quantum Zero-Knowledge. | Prabhanjan Ananth, Kai-Min Chung, Rolando L. La Placa |
| 2021 | CRYPTO | A Black-Box Approach to Post-Quantum Zero-Knowledge in Constant Rounds. | Nai-Hui Chia, Kai-Min Chung, Takashi Yamakawa |
| 2021 | CRYPTO | Game-Theoretic Fairness Meets Multi-party Protocols: The Case of Leader Election. | Kai-Min Chung, T.-H. Hubert Chan, Ting Wen, Elaine Shi |
| 2021 | EuroCrypt | On the Compressed-Oracle Technique, and Post-Quantum Security of Proofs of Sequential Work. | Kai-Min Chung, Serge Fehr, Yu-Hsuan Huang, Tai-Ning Liao |
| 2021 | FOCS | On the Impossibility of Post-Quantum Black-Box Zero-Knowledge in Constant Round. | Nai-Hui Chia, Kai-Min Chung, Qipeng Liu, Takashi Yamakawa |
| 2020 | FOCS | Tight Quantum Time-Space Tradeoffs for Function Inversion. | Kai-Min Chung, Siyao Guo, Qipeng Liu, Luowen Qian |
| 2020 | STOC | On the need for large quantum depth. | Nai-Hui Chia, Kai-Min Chung, Ching-Yi Lai |
| 2020 | SPAA | On the Hardness of Massively Parallel Computation. | Kai-Min Chung, Kuan-Yi Ho, Xiaorui Sun |
| 2020 | TCC | Classical Verification of Quantum Computations with Efficient Verifier. | Nai-Hui Chia, Kai-Min Chung, Takashi Yamakawa |
| 2019 | EuroCrypt | A Quantum-Proof Non-malleable Extractor - With Application to Privacy Amplification Against Active Quantum Adversaries. | Divesh Aggarwal, Kai-Min Chung, Han-Hsuan Lin, Thomas Vidick |
| 2019 | EuroCrypt | On Quantum Advantage in Information Theoretic Single-Server PIR. | Dorit Aharonov, Zvika Brakerski, Kai-Min Chung, Ayal Green, Ching-Yi Lai, Or Sattath |
| 2019 | ISIT | Interactive Leakage Chain Rule for Quantum Min-entropy. | Ching-Yi Lai, Kai-Min Chung |
| 2019 | SODA | Foundations of Differentially Oblivious Algorithms. | T.-H. Hubert Chan, Kai-Min Chung, Bruce M. Maggs, Elaine Shi |
| 2019 | TCC | Adaptively Secure Garbling Schemes for Parallel Computations. | Kai-Min Chung, Luowen Qian |
| 2018 | EuroCrypt | On the Complexity of Simulating Auxiliary Input. | Yi-Hsiu Chen, Kai-Min Chung, Jyun-Jie Liao |
| 2018 | TCC | Game Theoretic Notions of Fairness in Multi-party Coin Toss. | Kai-Min Chung, Yue Guo, Wei-Kai Lin, Rafael Pass, Elaine Shi |
| 2017 | ASIACRYPT | On the Depth of Oblivious Parallel RAM. | T.-H. Hubert Chan, Kai-Min Chung, Elaine Shi |
| 2016 | TCC | Delegating RAM Computations with Adaptive Soundness and Privacy. | Prabhanjan Ananth, Yu-Chi Chen, Kai-Min Chung, Huijia Lin, Wei-Kai Lin |
| 2016 | TCC | Oblivious Parallel RAM and Applications. | Elette Boyle, Kai-Min Chung, Rafael Pass |
| 2015 | CRYPTO | Large-Scale Secure Computation: Multi-party Computation for (Parallel) RAM Programs. | Elette Boyle, Kai-Min Chung, Rafael Pass |
| 2015 | CRYPTO | Constant-Round Concurrent Zero-Knowledge from Indistinguishability Obfuscation. | Kai-Min Chung, Huijia Lin, Rafael Pass |
| 2015 | TCC | From Weak to Strong Zero-Knowledge and Applications. | Kai-Min Chung, Edward Lui, Rafael Pass |
| 2015 | TCC | Tight Parallel Repetition Theorems for Public-Coin Arguments Using KL-Divergence. | Kai-Min Chung, Rafael Pass |
| 2014 | ASIACRYPT | Statistically-secure ORAM with (log | Kai-Min Chung, Zhenming Liu, Rafael Pass |
| 2014 | CRYPTO | On the Impossibility of Cryptography with Tamperable Randomness. | Per Austrin, Kai-Min Chung, Mohammad Mahmoody, Rafael Pass, Karn Seth |
| 2014 | PODC | Distributed algorithms for the Lovsz local lemma and graph coloring. | Kai-Min Chung, Seth Pettie, Hsin-Hao Su |
| 2014 | TCC | On Extractability Obfuscation. | Elette Boyle, Kai-Min Chung, Rafael Pass |
| 2014 | TCC | 4-Round Resettably-Sound Zero Knowledge. | Kai-Min Chung, Rafail Ostrovsky, Rafael Pass, Muthuramakrishnan Venkitasubramaniam, Ivan Visconti |
| 2013 | ASIACRYPT | Functional Encryption from (Small) Hardware Tokens. | Kai-Min Chung, Jonathan Katz, Hong-Sheng Zhou |
| 2013 | FOCS | Constant-Round Concurrent Zero Knowledge from P-Certificates. | Kai-Min Chung, Huijia Lin, Rafael Pass |
| 2013 | FOCS | Simultaneous Resettability from One-Way Functions. | Kai-Min Chung, Rafail Ostrovsky, Rafael Pass, Ivan Visconti |
| 2013 | FOCS | Knowledge-Preserving Interactive Coding. | Kai-Min Chung, Rafael Pass, Sidharth Telang |
| 2013 | STOC | Non-black-box simulation from one-way functions and applications to resettable security. | Kai-Min Chung, Rafael Pass, Karn Seth |
| 2013 | TCC | Randomness-Dependent Message Security. | Eleanor Birrell, Kai-Min Chung, Rafael Pass, Sidharth Telang |
| 2012 | STACS | Chernoff-Hoeffding Bounds for Markov Chains: Generalized and Simplified. | Kai-Min Chung, Henry Lam, Zhenming Liu, Michael Mitzenmacher |
| 2012 | TCC | The Knowledge Tightness of Parallel Zero-Knowledge. | Kai-Min Chung, Rafael Pass, Wei-Lung Dustin Tseng |
| 2011 | CRYPTO | Memory Delegation. | Kai-Min Chung, Yael Tauman Kalai, Feng-Hao Liu, Ran Raz |
| 2011 | FOCS | The Randomness Complexity of Parallel Repetition. | Kai-Min Chung, Rafael Pass |
| 2010 | ASIACRYPT | Efficient String-Commitment from Weak Bit-Commitment. | Kai-Min Chung, Feng-Hao Liu, Chi-Jen Lu, Bo-Yin Yang |
| 2010 | CRYPTO | Improved Delegation of Computation Using Fully Homomorphic Encryption. | Kai-Min Chung, Yael Tauman Kalai, Salil P. Vadhan |
| 2010 | STACS | AMS Without 4-Wise Independence on Product Domains. | Vladimir Braverman, Kai-Min Chung, Zhenming Liu, Michael Mitzenmacher, Rafail Ostrovsky |
| 2010 | TCC | Parallel Repetition Theorems for Interactive Arguments. | Kai-Min Chung, Feng-Hao Liu |
| 2003 | ESA | An Optimal Algorithm for the Maximum-Density Segment Problem. | Kai-Min Chung, Hsueh-I Lu |
| 2003 | ICASSP | Decomposition methods for linear support vector machines. | Kai-Min Chung, Wei-Chun Kao, Tony Sun, Chih-Jen Lin |