An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits. - Chen, Yu-Fang; Chung, Kai-Min; Lengál, Ondrej; Lin, Jyun-Ao; Tsai, Wei-Lun; Yen, Di-De (Commun. ACM, 2025)

AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs. - Chen, Yu-Fang; Chung, Kai-Min; Hsieh, Min-Hsiu; Huang, Wei-Jia; Lengál, Ondrej; Lin, Jyun-Ao; Tsai, Wei-Lun (2025)

Advances in Cryptology - ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part I (Springer, 2025)

Advances in Cryptology - ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part II (Springer, 2025)

Advances in Cryptology - ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part III (Springer, 2025)

Advances in Cryptology - ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part IV (Springer, 2025)

Advances in Cryptology - ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part V (Springer, 2025)

Advances in Cryptology - ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part VI (Springer, 2025)

Advances in Cryptology - ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part VII (Springer, 2025)

Advances in Cryptology - ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part VIII (Springer, 2025)

Advances in Cryptology - ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part IX (Springer, 2025)

On Central Primitives for Quantum Cryptography with Classical Communication. - Chung, Kai-Min; Goldin, Eli; Gray, Matthew (2024)

Best-of-Both-Worlds Multiparty Quantum Computation with Publicly Verifiable Identifiable Abort. - Chung, Kai-Min; Huang, Mi-Ying (Miryam); Tang, Er-Cheng; Zhang, Jiapeng (2024)

On Central Primitives for Quantum Cryptography with Classical Communication. - Chung, Kai-Min; Goldin, Eli; Gray, Matthew (CoRR, 2024)

The Black-Box Simulation Barrier Persists in a Fully Quantum World. - Chia, Nai-Hui; Chung, Kai-Min; Liang, Xiao; Liu, Jiahui (CoRR, 2024)

Complexity Theory for Quantum Promise Problems. - Chia, Nai-Hui; Chung, Kai-Min; Huang, Tzu-Hsiang; Shih, Jhih-Wei (CoRR, 2024)

AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs. - Chen, Yu-Fang; Chung, Kai-Min; Hsieh, Min-Hsiu; Huang, Wei-Jia; Lengál, Ondrej; Lin, Jyun-Ao; Tsai, Wei-Lun (CoRR, 2024)

On Central Primitives for Quantum Cryptography with Classical Communication. - Chung, Kai-Min; Goldin, Eli; Gray, Matthew (IACR Cryptol. ePrint Arch., 2024)

The Black-Box Simulation Barrier Persists in a Fully Quantum World. - Chia, Nai-Hui; Chung, Kai-Min; Liang, Xiao; Liu, Jiahui (IACR Cryptol. ePrint Arch., 2024)

On the Need for Large Quantum Depth. - Chia, Nai-Hui; Chung, Kai-Min; Lai, Ching-Yi (J. ACM, 2023)

An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits. - Chen, Yu-Fang; Chung, Kai-Min; Lengál, Ondrej; Lin, Jyun-Ao; Tsai, Wei-Lun; Yen, Di-De (Proc. ACM Program. Lang., 2023)

On the (Im)possibility of Time-Lock Puzzles in the Quantum Random Oracle Model. - Afshar, Abtin; Chung, Kai-Min; Hsieh, Yao-Ching; Lin, Yao-Ting; Mahmoody, Mohammad (2023)

AutoQ: An Automata-Based Quantum Circuit Verifier. - Chen, Yu-Fang; Chung, Kai-Min; Lengál, Ondrej; Lin, Jyun-Ao; Tsai, Wei-Lun (2023)

On the Impossibility of General Parallel Fast-Forwarding of Hamiltonian Simulation. - Chia, Nai-Hui; Chung, Kai-Min; Hsieh, Yao-Ching; Lin, Han-Hsuan; Lin, Yao-Ting; Shen, Yu-Ching (2023)

Black-Box Separations for Non-interactive Classical Commitments in a Quantum World. - Chung, Kai-Min; Lin, Yao-Ting; Mahmoody, Mohammad (2023)

4th Conference on Information-Theoretic Cryptography, ITC 2023, June 6-8, 2023, Aarhus University, Aarhus, Denmark (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023)

An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits (Technical Report). - Chen, Yu-Fang; Chung, Kai-Min; Lengál, Ondrej; Lin, Jyun-Ao; Tsai, Wei-Lun; Yen, Di-De (CoRR, 2023)

On the Impossibility of General Parallel Fast-forwarding of Hamiltonian Simulation. - Chia, Nai-Hui; Chung, Kai-Min; Hsieh, Yao-Ching; Lin, Han-Hsuan; Lin, Yao-Ting; Shen, Yu-Ching (CoRR, 2023)

Black-Box Separations for Non-Interactive Commitments in a Quantum World. - Chung, Kai-Min; Lin, Yao-Ting; Mahmoody, Mohammad (IACR Cryptol. ePrint Arch., 2023)

On the (Im)possibility of Time-Lock Puzzles in the Quantum Random Oracle Model. - Afshar, Abtin; Chung, Kai-Min; Hsieh, Yao-Ching; Lin, Yao-Ting; Mahmoody, Mohammad (IACR Cryptol. ePrint Arch., 2023)

Foundations of Differentially Oblivious Algorithms. - Chan, T.-H. Hubert; Chung, Kai-Min; Maggs, Bruce M.; Shi, Elaine (J. ACM, 2022)

Collusion-Resistant Functional Encryption for RAMs. - Ananth, Prabhanjan; Chung, Kai-Min; Fan, Xiong; Qian, Luowen (2022)

On the Impossibility of Key Agreements from Quantum Random Oracles. - Austrin, Per; Chung, Hao; Chung, Kai-Min; Fu, Shiuan; Lin, Yao-Ting; Mahmoody, Mohammad (2022)

Post-quantum Simulatable Extraction with Minimal Assumptions: Black-Box and Constant-Round. - Chia, Nai-Hui; Chung, Kai-Min; Liang, Xiao; Yamakawa, Takashi (2022)

Constant-Round Blind Classical Verification of Quantum Sampling. - Chung, Kai-Min; Lee, Yi; Lin, Han-Hsuan; Wu, Xiaodi (2022)

A Note on the Post-quantum Security of (Ring) Signatures. - Chatterjee, Rohit; Chung, Kai-Min; Liang, Xiao; Malavolta, Giulio (2022)

Online TSP with Predictions. - Hu, Hsiao-Yu; Wei, Hao-Ting; Li, Meng-Hsi; Chung, Kai-Min; Liao, Chung-Shou (CoRR, 2022)

On the Impossibility of Key Agreements from Quantum Random Oracles. - Austrin, Per; Chung, Hao; Chung, Kai-Min; Fu, Shiuan; Lin, Yao-Ting; Mahmoody, Mohammad (IACR Cryptol. ePrint Arch., 2022)

Collusion-Resistant Functional Encryption for RAMs. - Ananth, Prabhanjan; Chung, Kai-Min; Fan, Xiong; Qian, Luowen (IACR Cryptol. ePrint Arch., 2022)

Game-Theoretic Fairness Meets Multi-party Protocols: The Case of Leader Election. - Chung, Kai-Min; Chan, T.-H. Hubert; Wen, Ting; Shi, Elaine (2021)

A Black-Box Approach to Post-Quantum Zero-Knowledge in Constant Rounds. - Chia, Nai-Hui; Chung, Kai-Min; Yamakawa, Takashi (2021)

On the Concurrent Composition of Quantum Zero-Knowledge. - Ananth, Prabhanjan; Chung, Kai-Min; Placa, Rolando L. La (2021)

Round Efficient Secure Multiparty Quantum Computation with Identifiable Abort. - Alon, Bar; Chung, Hao; Chung, Kai-Min; Huang, Mi-Ying; Lee, Yi; Shen, Yu-Ching (2021)

On the Compressed-Oracle Technique, and Post-Quantum Security of Proofs of Sequential Work. - Chung, Kai-Min; Fehr, Serge; Huang, Yu-Hsuan; Liao, Tai-Ning (2021)

On the Impossibility of Post-Quantum Black-Box Zero-Knowledge in Constant Round. - Chia, Nai-Hui; Chung, Kai-Min; Liu, Qipeng; Yamakawa, Takashi (2021)

Sample Efficient Algorithms for Learning Quantum Channels in PAC Model and the Approximate State Discrimination Problem. - Chung, Kai-Min; Lin, Han-Hsuan (2021)

On the Impossibility of Post-Quantum Black-Box Zero-Knowledge in Constant Rounds. - Chia, Nai-Hui; Chung, Kai-Min; Liu, Qipeng; Yamakawa, Takashi (CoRR, 2021)

Group Signatures and Accountable Ring Signatures from Isogeny-based Assumptions. - Chung, Kai-Min; Hsieh, Yao-Ching; Huang, Mi-Ying; Huang, Yu-Hsuan; Lange, Tanja; Yang, Bo-Yin (CoRR, 2021)

Post-Quantum Simulatable Extraction with Minimal Assumptions: Black-Box and Constant-Round. - Chia, Nai-Hui; Chung, Kai-Min; Liang, Xiao; Yamakawa, Takashi (CoRR, 2021)

A Note on the Post-Quantum Security of (Ring) Signatures. - Chatterjee, Rohit; Chung, Kai-Min; Liang, Xiao; Malavolta, Giulio (CoRR, 2021)

On the Impossibility of Post-Quantum Black-Box Zero-Knowledge in Constant Rounds. - Chia, Nai-Hui; Chung, Kai-Min; Liu, Qipeng; Yamakawa, Takashi (IACR Cryptol. ePrint Arch., 2021)

Group Signatures and Accountable Ring Signatures from Isogeny-based Assumptions. - Chung, Kai-Min; Hsieh, Yao-Ching; Huang, Mi-Ying; Huang, Yu-Hsuan; Lange, Tanja; Yang, Bo-Yin (IACR Cryptol. ePrint Arch., 2021)

Post-Quantum Simulatable Extraction with Minimal Assumptions: Black-Box and Constant-Round. - Chia, Nai-Hui; Chung, Kai-Min; Liang, Xiao; Yamakawa, Takashi (IACR Cryptol. ePrint Arch., 2021)

A Note on the Post-Quantum Security of (Ring) Signatures. - Chatterjee, Rohit; Chung, Kai-Min; Liang, Xiao; Malavolta, Giulio (IACR Cryptol. ePrint Arch., 2021)

Tight Quantum Time-Space Tradeoffs for Function Inversion. - Chung, Kai-Min; Guo, Siyao; Liu, Qipeng; Qian, Luowen (2020)

Lower Bounds for Function Inversion with Quantum Advice. - Chung, Kai-Min; Liao, Tai-Ning; Qian, Luowen (2020)

MPC for MPC: Secure Computation on a Massively Parallel Computing Architecture. - Chan, T.-H. Hubert; Chung, Kai-Min; Lin, Wei-Kai; Shi, Elaine (2020)

On the Hardness of Massively Parallel Computation. - Chung, Kai-Min; Ho, Kuan-Yi; Sun, Xiaorui (2020)

On the need for large quantum depth. - Chia, Nai-Hui; Chung, Kai-Min; Lai, Ching-Yi (2020)

Classical Verification of Quantum Computations with Efficient Verifier. - Chia, Nai-Hui; Chung, Kai-Min; Yamakawa, Takashi (2020)

When Simple Hash Functions Suffice. - Chung, Kai-Min; Mitzenmacher, Michael; Vadhan, Salil P. (2020)

Tight Quantum Time-Space Tradeoffs for Function Inversion. - Chung, Kai-Min; Guo, Siyao; Liu, Qipeng; Qian, Luowen (CoRR, 2020)

On the Hardness of Massively Parallel Computation. - Chung, Kai-Min; Ho, Kuan-Yi; Sun, Xiaorui (CoRR, 2020)

On the Compressed-Oracle Technique, and Post-Quantum Security of Proofs of Sequential Work. - Chung, Kai-Min; Fehr, Serge; Huang, Yu-Hsuan; Liao, Tai-Ning (CoRR, 2020)

A Black-Box Approach to Post-Quantum Zero-Knowledge in Constant Round. - Chia, Nai-Hui; Chung, Kai-Min; Yamakawa, Takashi (CoRR, 2020)

Constant-round Blind Classical Verification of Quantum Sampling. - Chung, Kai-Min; Lee, Yi; Lin, Han-Hsuan; Wu, Xiaodi (CoRR, 2020)

Tight Quantum Time-Space Tradeoffs for Function Inversion. - Chung, Kai-Min; Guo, Siyao; Liu, Qipeng; Qian, Luowen (Electron. Colloquium Comput. Complex., 2020)

MPC for MPC: Secure Computation on a Massively Parallel Computing Architecture. - Chan, T.-H. Hubert; Chung, Kai-Min; Lin, Wei-Kai; Shi, Elaine (IACR Cryptol. ePrint Arch., 2020)

Tight Quantum Time-Space Tradeoffs for Function Inversion. - Chung, Kai-Min; Guo, Siyao; Liu, Qipeng; Qian, Luowen (IACR Cryptol. ePrint Arch., 2020)

Classical Verification of Quantum Computations with Efficient Verifier. - Chia, Nai-Hui; Chung, Kai-Min; Yamakawa, Takashi (IACR Cryptol. ePrint Arch., 2020)

On the Compressed-Oracle Technique, and Post-Quantum Security of Proofs of Sequential Work. - Chung, Kai-Min; Fehr, Serge; Huang, Yu-Hsuan; Liao, Tai-Ning (IACR Cryptol. ePrint Arch., 2020)

A Black-Box Approach to Post-Quantum Zero-Knowledge in Constant Rounds. - Chia, Nai-Hui; Chung, Kai-Min; Yamakawa, Takashi (IACR Cryptol. ePrint Arch., 2020)

Round Efficient Secure Multiparty Quantum Computation with Identifiable Abort. - Alon, Bar; Chung, Hao; Chung, Kai-Min; Huang, Mi-Ying; Lee, Yi; Shen, Yu-Ching (IACR Cryptol. ePrint Arch., 2020)

On the Concurrent Composition of Quantum Zero-Knowledge. - Ananth, Prabhanjan; Chung, Kai-Min; Placa, Rolando L. La (IACR Cryptol. ePrint Arch., 2020)

Game-Theoretically Fair Leader Election in O(log log n) Rounds under Majority Coalitions. - Chung, Kai-Min; Chan, T.-H. Hubert; Wen, Ting; Shi, Elaine (IACR Cryptol. ePrint Arch., 2020)

Cryptography with Disposable Backdoors. - Chung, Kai-Min; Georgiou, Marios; Lai, Ching-Yi; Zikas, Vassilis (Cryptogr., 2019)

Quantum encryption and generalized Shannon impossibility. - Lai, Ching-Yi; Chung, Kai-Min (Des. Codes Cryptogr., 2019)

On Quantum Advantage in Information Theoretic Single-Server PIR. - Aharonov, Dorit; Brakerski, Zvika; Chung, Kai-Min; Green, Ayal; Lai, Ching-Yi; Sattath, Or (2019)

A Quantum-Proof Non-malleable Extractor - With Application to Privacy Amplification Against Active Quantum Adversaries. - Aggarwal, Divesh; Chung, Kai-Min; Lin, Han-Hsuan; Vidick, Thomas (2019)

On the Algorithmic Power of Spiking Neural Networks. - Chou, Chi-Ning; Chung, Kai-Min; Lu, Chi-Jen (2019)

Interactive Leakage Chain Rule for Quantum Min-entropy. - Lai, Ching-Yi; Chung, Kai-Min (2019)

Foundations of Differentially Oblivious Algorithms. - Chan, T.-H. Hubert; Chung, Kai-Min; Maggs, Bruce M.; Shi, Elaine (2019)

Adaptively Secure Garbling Schemes for Parallel Computations. - Chung, Kai-Min; Qian, Luowen (2019)

On Quantum Advantage in Information Theoretic Single-Server PIR. - Aharonov, Dorit; Brakerski, Zvika; Chung, Kai-Min; Green, Ayal; Lai, Ching-Yi; Sattath, Or (CoRR, 2019)

On the Need for Large Quantum Depth. - Chia, Nai-Hui; Chung, Kai-Min; Lai, Ching-Yi (CoRR, 2019)

Lower Bounds for Function Inversion with Quantum Advice. - Chung, Kai-Min; Liao, Tai-Ning; Qian, Luowen (CoRR, 2019)

Classical Verification of Quantum Computations with Efficient Verifier. - Chia, Nai-Hui; Chung, Kai-Min; Yamakawa, Takashi (CoRR, 2019)

On Quantum Advantage in Information Theoretic Single-Server PIR. - Aharonov, Dorit; Brakerski, Zvika; Chung, Kai-Min; Green, Ayal; Lai, Ching-Yi; Sattath, Or (IACR Cryptol. ePrint Arch., 2019)

A Quantum-Proof Non-Malleable Extractor With Application to Privacy Amplification against Active Quantum Adversaries. - Aggarwal, Divesh; Chung, Kai-Min; Lin, Han-Hsuan; Vidick, Thomas (IACR Cryptol. ePrint Arch., 2019)

Adaptively Secure Garbling Schemes for Parallel Computations. - Chung, Kai-Min; Qian, Luowen (IACR Cryptol. ePrint Arch., 2019)

Space-efficient classical and quantum algorithms for the shortest vector problem. - Chen, Yanlin; Chung, Kai-Min; Lai, Ching-Yi (Quantum Inf. Comput., 2018)

On statistically-secure quantum homomorphic encryption. - Lai, Ching-Yi; Chung, Kai-Min (Quantum Inf. Comput., 2018)

On the Complexity of Simulating Auxiliary Input. - Chen, Yi-Hsiu; Chung, Kai-Min; Liao, Jyun-Jie (2018)

Game Theoretic Notions of Fairness in Multi-party Coin Toss. - Chung, Kai-Min; Guo, Yue; Lin, Wei-Kai; Pass, Rafael; Shi, Elaine (2018)

Generalized Quantum Shannon Impossibility for Quantum Encryption. - Lai, Ching-Yi; Chung, Kai-Min (CoRR, 2018)

On the Algorithmic Power of Spiking Neural Networks. - Chou, Chi-Ning; Chung, Kai-Min; Lu, Chi-Jen (CoRR, 2018)

On the Sample Complexity of PAC Learning Quantum Process. - Chung, Kai-Min; Lin, Han-Hsuan (CoRR, 2018)

On the Complexity of Simulating Auxiliary Input. - Chen, Yi-Hsiu; Chung, Kai-Min; Liao, Jyun-Jie (IACR Cryptol. ePrint Arch., 2018)

Cryptography with Dispensable Backdoors. - Chung, Kai-Min; Georgiou, Marios; Lai, Ching-Yi; Zikas, Vassilis (IACR Cryptol. ePrint Arch., 2018)

Game Theoretic Notions of Fairness in Multi-Party Coin Toss. - Chung, Kai-Min; Guo, Yue; Lin, Wei-Kai; Pass, Rafael; Shi, Elaine (IACR Cryptol. ePrint Arch., 2018)

On the Impossibility of Cryptography with Tamperable Randomness. - Austrin, Per; Chung, Kai-Min; Mahmoody, Mohammad; Pass, Rafael; Seth, Karn (Algorithmica, 2017)

Distributed algorithms for the Lovász local lemma and graph coloring. - Chung, Kai-Min; Pettie, Seth; Su, Hsin-Hao (Distributed Comput., 2017)

On the Depth of Oblivious Parallel RAM. - Chan, T.-H. Hubert; Chung, Kai-Min; Shi, Elaine (2017)

Computational Notions of Quantum Min-Entropy. - Chen, Yi-Hsiu; Chung, Kai-Min; Lai, Ching-Yi; Vadhan, Salil P.; Wu, Xiaodi (CoRR, 2017)

On Statistically-Secure Quantum Homomorphic Encryption. - Lai, Ching-Yi; Chung, Kai-Min (CoRR, 2017)

Space-efficient classical and quantum algorithms for the shortest vector problem. - Chen, Yanlin; Chung, Kai-Min; Lai, Ching-Yi (CoRR, 2017)

A Quantum-Proof Non-Malleable Extractor, With Application to Privacy Amplification against Active Quantum Adversaries. - Aggarwal, Divesh; Chung, Kai-Min; Lin, Han-Hsuan; Vidick, Thomas (CoRR, 2017)

On the Depth of Oblivious Parallel RAM. - Chan, T.-H. Hubert; Chung, Kai-Min; Shi, Elaine (IACR Cryptol. ePrint Arch., 2017)

Foundations of Differentially Oblivious Algorithms. - Chan, T.-H. Hubert; Chung, Kai-Min; Maggs, Bruce M.; Shi, Elaine (IACR Cryptol. ePrint Arch., 2017)

Non-Black-Box Simulation from One-Way Functions and Applications to Resettable Security. - Chung, Kai-Min; Pass, Rafael; Seth, Karn (SIAM J. Comput., 2016)

Cryptography for Parallel RAM from Indistinguishability Obfuscation. - Chen, Yu-Chi; Chow, Sherman S. M.; Chung, Kai-Min; Lai, Russell W. F.; Lin, Wei-Kai; Zhou, Hong-Sheng (2016)

Delegating RAM Computations with Adaptive Soundness and Privacy. - Ananth, Prabhanjan; Chen, Yu-Chi; Chung, Kai-Min; Lin, Huijia; Lin, Wei-Kai (2016)

Oblivious Parallel RAM and Applications. - Boyle, Elette; Chung, Kai-Min; Pass, Rafael (2016)

Public-Key Cryptography - PKC 2016 - 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Taipei, Taiwan, March 6-9, 2016, Proceedings, Part I (Springer, 2016)

Public-Key Cryptography - PKC 2016 - 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Taipei, Taiwan, March 6-9, 2016, Proceedings, Part II (Springer, 2016)

Parallel Repetition for Entangled k-player Games via Fast Quantum Search. - Chung, Kai-Min; Wu, Xiaodi; Yuen, Henry S. (2015)

Constant-Round Concurrent Zero-Knowledge from Indistinguishability Obfuscation. - Chung, Kai-Min; Lin, Huijia; Pass, Rafael (2015)

Large-Scale Secure Computation: Multi-party Computation for (Parallel) RAM Programs. - Boyle, Elette; Chung, Kai-Min; Pass, Rafael (2015)

From Weak to Strong Zero-Knowledge and Applications. - Chung, Kai-Min; Lui, Edward; Pass, Rafael (2015)

Tight Parallel Repetition Theorems for Public-Coin Arguments Using KL-Divergence. - Chung, Kai-Min; Pass, Rafael (2015)

Parallel repetition for entangled k-player games via fast quantum search. - Wu, Xiaodi; Chung, Kai-Min; Yuen, Henry S. (CoRR, 2015)

Tight Parallel Repetition Theorems for Public-Coin Arguments using KL-divergence. - Chung, Kai-Min; Pass, Rafael (IACR Cryptol. ePrint Arch., 2015)

Functional Encryption from (Small) Hardwae Tokens. - Chung, Kai-Min; Katz, Jonathan; Zhou, Hong-Sheng (IACR Cryptol. ePrint Arch., 2015)

Computation-Trace Indistinguishability Obfuscation and its Applications. - Chen, Yu-Chi; Chow, Sherman S. M.; Chung, Kai-Min; Lai, Russell W. F.; Lin, Wei-Kai; Zhou, Hong-Sheng (IACR Cryptol. ePrint Arch., 2015)

Delegating RAM Computations with Adaptive Soundness and Privacy. - Ananth, Prabhanjan; Chen, Yu-Chi; Chung, Kai-Min; Lin, Huijia; Lin, Wei-Kai (IACR Cryptol. ePrint Arch., 2015)

Statistically-secure ORAM with Õ(log2 n) Overhead. - Chung, Kai-Min; Liu, Zhenming; Pass, Rafael (2014)

On the Impossibility of Cryptography with Tamperable Randomness. - Austrin, Per; Chung, Kai-Min; Mahmoody, Mohammad; Pass, Rafael; Seth, Karn (2014)

Distributed algorithms for the Lovász local lemma and graph coloring. - Chung, Kai-Min; Pettie, Seth; Su, Hsin-Hao (2014)

On Extractability Obfuscation. - Boyle, Elette; Chung, Kai-Min; Pass, Rafael (2014)

4-Round Resettably-Sound Zero Knowledge. - Chung, Kai-Min; Ostrovsky, Rafail; Pass, Rafael; Venkitasubramaniam, Muthuramakrishnan; Visconti, Ivan (2014)

Multi-Source Randomness Extractors Against Quantum Side Information, and their Applications. - Chung, Kai-Min; Li, Xin; Wu, Xiaodi (CoRR, 2014)

On the Lattice Smoothing Parameter Problem. - Chung, Kai-Min; Dadush, Daniel; Liu, Feng-Hao; Peikert, Chris (CoRR, 2014)

Multi-Source Randomness Extractors Against Quantum Side Information, and their Applications. - Chung, Kai-Min; Li, Xin; Wu, Xiaodi (Electron. Colloquium Comput. Complex., 2014)

Large-Scale Secure Computation. - Boyle, Elette; Chung, Kai-Min; Pass, Rafael (IACR Cryptol. ePrint Arch., 2014)

Oblivious Parallel RAM. - Boyle, Elette; Chung, Kai-Min; Pass, Rafael (IACR Cryptol. ePrint Arch., 2014)

Constant-Round Concurrent Zero-knowledge from Indistinguishability Obfuscation. - Chung, Kai-Min; Lin, Huijia; Pass, Rafael (IACR Cryptol. ePrint Arch., 2014)

Guest column: parallel repetition theorems for interactive arguments. - Chung, Kai-Min; Pass, Rafael (SIGACT News, 2013)

Why Simple Hash Functions Work: Exploiting the Entropy in a Data Stream. - Chung, Kai-Min; Mitzenmacher, Michael; Vadhan, Salil P. (Theory Comput., 2013)

Functional Encryption from (Small) Hardware Tokens. - Chung, Kai-Min; Katz, Jonathan; Zhou, Hong-Sheng (2013)

On the Lattice Smoothing Parameter Problem. - Chung, Kai-Min; Dadush, Daniel; Liu, Feng-Hao; Peikert, Chris (2013)

Constant-Round Concurrent Zero Knowledge from P-Certificates. - Chung, Kai-Min; Lin, Huijia; Pass, Rafael (2013)

Simultaneous Resettability from One-Way Functions. - Chung, Kai-Min; Ostrovsky, Rafail; Pass, Rafael; Visconti, Ivan (2013)

Knowledge-Preserving Interactive Coding. - Chung, Kai-Min; Pass, Rafael; Telang, Sidharth (2013)

Can theories be tested?: a cryptographic treatment of forecast testing. - Chung, Kai-Min; Lui, Edward; Pass, Rafael (2013)

On the power of nonuniformity in proofs of security. - Chung, Kai-Min; Lin, Huijia; Mahmoody, Mohammad; Pass, Rafael (2013)

Non-black-box simulation from one-way functions and applications to resettable security. - Chung, Kai-Min; Pass, Rafael; Seth, Karn (2013)

Randomness-Dependent Message Security. - Birrell, Eleanor; Chung, Kai-Min; Pass, Rafael; Telang, Sidharth (2013)

Statistically-secure ORAM with $\tilde{O}(\log^2 n)$ Overhead. - Chung, Kai-Min; Liu, Zhenming; Pass, Rafael (CoRR, 2013)

Non-Black-Box Simulation from One-Way Functions And Applications to Resettable Security. - Chung, Kai-Min; Pass, Rafael; Seth, Karn (IACR Cryptol. ePrint Arch., 2013)

Simultaneous Resettable WI from One-way Functions. - Chung, Kai-Min; Pass, Rafael (IACR Cryptol. ePrint Arch., 2013)

Interactive Coding, Revisited. - Chung, Kai-Min; Pass, Rafael; Telang, Sidharth (IACR Cryptol. ePrint Arch., 2013)

On the (Im)Possibility of Tamper-Resilient Cryptography: Using Fourier Analysis in Computer Viruses. - Austrin, Per; Chung, Kai-Min; Mahmoody, Mohammad; Pass, Rafael; Seth, Karn (IACR Cryptol. ePrint Arch., 2013)

A Simple ORAM. - Chung, Kai-Min; Pass, Rafael (IACR Cryptol. ePrint Arch., 2013)

From Weak to Strong Zero-Knowledge and Applications. - Chung, Kai-Min; Lui, Edward; Pass, Rafael (IACR Cryptol. ePrint Arch., 2013)

On Extractability Obfuscation. - Boyle, Elette; Chung, Kai-Min; Pass, Rafael (IACR Cryptol. ePrint Arch., 2013)

Chernoff-Hoeffding Bounds for Markov Chains: Generalized and Simplified. - Chung, Kai-Min; Lam, Henry; Liu, Zhenming; Mitzenmacher, Michael (2012)

The Knowledge Tightness of Parallel Zero-Knowledge. - Chung, Kai-Min; Pass, Rafael; Tseng, Wei-Lung Dustin (2012)

Constant-Round Concurrent Zero Knowledge From Falsifiable Assumptions. - Chung, Kai-Min; Lin, Huijia; Pass, Rafael (IACR Cryptol. ePrint Arch., 2012)

Unprovable Security of Two-Message Zero Knowledge. - Chung, Kai-Min; Lui, Edward; Mahmoody, Mohammad; Pass, Rafael (IACR Cryptol. ePrint Arch., 2012)

S-T connectivity on digraphs with a known stationary distribution. - Chung, Kai-Min; Reingold, Omer; Vadhan, Salil P. (ACM Trans. Algorithms, 2011)

Memory Delegation. - Chung, Kai-Min; Kalai, Yael Tauman; Liu, Feng-Hao; Raz, Ran (2011)

Efficient Secure Two-Party Exponentiation. - Yu, Ching-Hua; Chow, Sherman S. M.; Chung, Kai-Min; Liu, Feng-Hao (2011)

The Randomness Complexity of Parallel Repetition. - Chung, Kai-Min; Pass, Rafael (2011)

Memory Delegation. - Chung, Kai-Min; Kalai, Yael Tauman; Liu, Feng-Hao; Raz, Ran (IACR Cryptol. ePrint Arch., 2011)

Efficient String-Commitment from Weak Bit-Commitment. - Chung, Kai-Min; Liu, Feng-Hao; Lu, Chi-Jen; Yang, Bo-Yin (2010)

Improved Delegation of Computation Using Fully Homomorphic Encryption. - Chung, Kai-Min; Kalai, Yael Tauman; Vadhan, Salil P. (2010)

AMS Without 4-Wise Independence on Product Domains. - Braverman, Vladimir; Chung, Kai-Min; Liu, Zhenming; Mitzenmacher, Michael; Ostrovsky, Rafail (2010)

Parallel Repetition Theorems for Interactive Arguments. - Chung, Kai-Min; Liu, Feng-Hao (2010)

Improved Delegation of Computation using Fully Homomorphic Encryption. - Chung, Kai-Min; Kalai, Yael Tauman; Vadhan, Salil P. (IACR Cryptol. ePrint Arch., 2010)

Tight Parallel Repetition Theorems for Public-coin Arguments. - Chung, Kai-Min; Liu, Feng-Hao (Electron. Colloquium Comput. Complex., 2009)

Tight Bounds for Hashing Block Sources. - Chung, Kai-Min; Vadhan, Salil P. (2008)

Tight Bounds for Hashing Block Sources - Chung, Kai-Min; Vadhan, Salil P. (CoRR, 2008)

S-T Connectivity on Digraphs with a Known Stationary Distribution. - Chung, Kai-Min; Reingold, Omer; Vadhan, Salil P. (2007)

S-T Connectivity on Digraphs with a Known Stationary Distribution. - Chung, Kai-Min; Reingold, Omer; Vadhan, Salil P. (Electron. Colloquium Comput. Complex., 2007)

Decomposition Methods for Linear Support Vector Machines. - Kao, Wei-Chun; Chung, Kai-Min; Sun, Chia-Liang; Lin, Chih-Jen (Neural Comput., 2004)

An Optimal Algorithm for the Maximum-Density Segment Problem. - Chung, Kai-Min; Lu, Hsueh-I (SIAM J. Comput., 2004)

Radius Margin Bounds for Support Vector Machines with the RBF Kernel. - Chung, Kai-Min; Kao, Wei-Chun; Sun, Chia-Liang; Wang, Li-Lun; Lin, Chih-Jen (Neural Comput., 2003)

An Optimal Algorithm for the Maximum-Density Segment Problem. - Chung, Kai-Min; Lu, Hsueh-I (2003)

Decomposition methods for linear support vector machines. - Chung, Kai-Min; Kao, Wei-Chun; Sun, Tony; Lin, Chih-Jen (2003)

An Optimal Algorithm for the Maximum-Density Segment Problem - Chung, Kai-Min; Lu, Hsueh-I (CoRR, 2003)

Narrowband active noise control using adaptive delay filter. - Kuo, Sen M.; Chung, Kai-Min (IEEE Signal Process. Lett., 1998)