Kai-Min Chung

185 papers A* 12A 15B 8Journal 101Unranked 37
YearRankTypeTitle / Venue / Authors
2026 — conf
Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting.
TACAS (2)
Wei-Jia Huang, Christophe Chareton, Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Alfons Laarman, Jingyi Mei
2026 J jnl
Online TSP and Online Dial-a-Ride with Predictions.
INFORMS J. Comput.
Hsiao-Yu Hu, Hao-Ting Wei, Meng-Hsi Li, Kai-Min Chung, Chung-Shou Liao
2025 — ed.
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
ASIACRYPT (1)
Kai-Min Chung, Yu Sasaki
2025 — ed.
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
ASIACRYPT (2)
Kai-Min Chung, Yu Sasaki
2025 — ed.
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
ASIACRYPT (3)
Kai-Min Chung, Yu Sasaki
2025 — ed.
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
ASIACRYPT (4)
Kai-Min Chung, Yu Sasaki
2025 — ed.
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
ASIACRYPT (9)
Kai-Min Chung, Yu Sasaki
2025 — ed.
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
ASIACRYPT (5)
Kai-Min Chung, Yu Sasaki
2025 — ed.
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
ASIACRYPT (6)
Kai-Min Chung, Yu Sasaki
2025 — ed.
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
ASIACRYPT (7)
Kai-Min Chung, Yu Sasaki
2025 — ed.
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
ASIACRYPT (8)
Kai-Min Chung, Yu Sasaki
2025 J jnl
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits.
Commun. ACM
Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen
2025 — conf
AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs.
TACAS (3)
Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Wei-Jia Huang, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai
2025 — conf
On the Verification of Quantum Circuits (Research Challenges and Opportunities).
Principles of Formal Quantitative Analysis
Parosh Aziz Abdulla, Yo-Ga Chen, Yu-Fang Chen, Kai-Min Chung, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Fang-Yi Lo, Wei-Lun Tsai
2025 J jnl
Tight Quantum Time-Space Tradeoffs for Permutation Inversion.
CoRR
Akshima, Tyler Besselman, Kai-Min Chung, Siyao Guo, Tzu-Yi Yang
2024 J jnl
AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs.
CoRR
Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Wei-Jia Huang, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai
2024 — conf
Best-of-Both-Worlds Multiparty Quantum Computation with Publicly Verifiable Identifiable Abort.
EUROCRYPT (6)
Kai-Min Chung, Mi-Ying (Miryam) Huang, Er-Cheng Tang, Jiapeng Zhang
2024 J jnl
Complexity Theory for Quantum Promise Problems.
CoRR
Nai-Hui Chia, Kai-Min Chung, Tzu-Hsiang Huang, Jhih-Wei Shih
2024 — conf
On Central Primitives for Quantum Cryptography with Classical Communication.
CRYPTO (7)
Kai-Min Chung, Eli Goldin, Matthew Gray
2024 J jnl
On Central Primitives for Quantum Cryptography with Classical Communication.
CoRR
Kai-Min Chung, Eli Goldin, Matthew Gray
2024 J jnl
On Central Primitives for Quantum Cryptography with Classical Communication.
IACR Cryptol. ePrint Arch.
Kai-Min Chung, Eli Goldin, Matthew Gray
2024 J jnl
The Black-Box Simulation Barrier Persists in a Fully Quantum World.
CoRR
Nai-Hui Chia, Kai-Min Chung, Xiao Liang, Jiahui Liu
2024 J jnl
The Black-Box Simulation Barrier Persists in a Fully Quantum World.
IACR Cryptol. ePrint Arch.
Nai-Hui Chia, Kai-Min Chung, Xiao Liang, Jiahui Liu
2023 A ed.
4th Conference on Information-Theoretic Cryptography, ITC 2023, Aarhus University, Aarhus, Denmark, June 6-8, 2023
ITC
Kai-Min Chung
2023 J jnl
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits.
Proc. ACM Program. Lang.
Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen
2023 J jnl
An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits (Technical Report).
CoRR
Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen
2023 — conf
AutoQ: An Automata-Based Quantum Circuit Verifier.
CAV (3)
Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai
2023 J jnl
Black-Box Separations for Non-Interactive Commitments in a Quantum World.
IACR Cryptol. ePrint Arch.
Kai-Min Chung, Yao-Ting Lin, Mohammad Mahmoody
2023 — conf
Black-Box Separations for Non-interactive Classical Commitments in a Quantum World.
EUROCRYPT (1)
Kai-Min Chung, Yao-Ting Lin, Mohammad Mahmoody
2023 — conf
On the (Im)possibility of Time-Lock Puzzles in the Quantum Random Oracle Model.
ASIACRYPT (4)
Abtin Afshar, Kai-Min Chung, Yao-Ching Hsieh, Yao-Ting Lin, Mohammad Mahmoody
2023 J jnl
On the (Im)possibility of Time-Lock Puzzles in the Quantum Random Oracle Model.
IACR Cryptol. ePrint Arch.
Abtin Afshar, Kai-Min Chung, Yao-Ching Hsieh, Yao-Ting Lin, Mohammad Mahmoody
2023 A conf
On the Impossibility of General Parallel Fast-Forwarding of Hamiltonian Simulation.
CCC
Nai-Hui Chia, Kai-Min Chung, Yao-Ching Hsieh, Han-Hsuan Lin, Yao-Ting Lin, Yu-Ching Shen
2023 J jnl
On the Impossibility of General Parallel Fast-forwarding of Hamiltonian Simulation.
CoRR
Nai-Hui Chia, Kai-Min Chung, Yao-Ching Hsieh, Han-Hsuan Lin, Yao-Ting Lin, Yu-Ching Shen
2023 J jnl
On the Need for Large Quantum Depth.
J. ACM
Nai-Hui Chia, Kai-Min Chung, Ching-Yi Lai
2022 — conf
A Note on the Post-quantum Security of (Ring) Signatures.
Public Key Cryptography (2)
Rohit Chatterjee, Kai-Min Chung, Xiao Liang, Giulio Malavolta
2022 — conf
Collusion-Resistant Functional Encryption for RAMs.
ASIACRYPT (1)
Prabhanjan Ananth, Kai-Min Chung, Xiong Fan, Luowen Qian
2022 J jnl
Collusion-Resistant Functional Encryption for RAMs.
IACR Cryptol. ePrint Arch.
Prabhanjan Ananth, Kai-Min Chung, Xiong Fan, Luowen Qian
2022 — conf
Constant-Round Blind Classical Verification of Quantum Sampling.
EUROCRYPT (3)
Kai-Min Chung, Yi Lee, Han-Hsuan Lin, Xiaodi Wu
2022 J jnl
Foundations of Differentially Oblivious Algorithms.
J. ACM
T.-H. Hubert Chan, Kai-Min Chung, Bruce M. Maggs, Elaine Shi
2022 — conf
On the Impossibility of Key Agreements from Quantum Random Oracles.
CRYPTO (2)
Per Austrin, Hao Chung, Kai-Min Chung, Shiuan Fu, Yao-Ting Lin, Mohammad Mahmoody
2022 J jnl
On the Impossibility of Key Agreements from Quantum Random Oracles.
IACR Cryptol. ePrint Arch.
Per Austrin, Hao Chung, Kai-Min Chung, Shiuan Fu, Yao-Ting Lin, Mohammad Mahmoody
2022 J jnl
Online TSP with Predictions.
CoRR
Hsiao-Yu Hu, Hao-Ting Wei, Meng-Hsi Li, Kai-Min Chung, Chung-Shou Liao
2022 — conf
Post-quantum Simulatable Extraction with Minimal Assumptions: Black-Box and Constant-Round.
CRYPTO (3)
Nai-Hui Chia, Kai-Min Chung, Xiao Liang, Takashi Yamakawa
2021 — conf
A Black-Box Approach to Post-Quantum Zero-Knowledge in Constant Rounds.
CRYPTO (1)
Nai-Hui Chia, Kai-Min Chung, Takashi Yamakawa
2021 J jnl
A Note on the Post-Quantum Security of (Ring) Signatures.
CoRR
Rohit Chatterjee, Kai-Min Chung, Xiao Liang, Giulio Malavolta
2021 J jnl
A Note on the Post-Quantum Security of (Ring) Signatures.
IACR Cryptol. ePrint Arch.
Rohit Chatterjee, Kai-Min Chung, Xiao Liang, Giulio Malavolta
2021 — conf
Game-Theoretic Fairness Meets Multi-party Protocols: The Case of Leader Election.
CRYPTO (2)
Kai-Min Chung, T.-H. Hubert Chan, Ting Wen, Elaine Shi
2021 J jnl
Group Signatures and Accountable Ring Signatures from Isogeny-based Assumptions.
CoRR
Kai-Min Chung, Yao-Ching Hsieh, Mi-Ying Huang, Yu-Hsuan Huang, Tanja Lange, Bo-Yin Yang
2021 J jnl
Group Signatures and Accountable Ring Signatures from Isogeny-based Assumptions.
IACR Cryptol. ePrint Arch.
Kai-Min Chung, Yao-Ching Hsieh, Mi-Ying Huang, Yu-Hsuan Huang, Tanja Lange, Bo-Yin Yang
2021 — conf
On the Compressed-Oracle Technique, and Post-Quantum Security of Proofs of Sequential Work.
EUROCRYPT (2)
Kai-Min Chung, Serge Fehr, Yu-Hsuan Huang, Tai-Ning Liao
2021 — conf
On the Concurrent Composition of Quantum Zero-Knowledge.
CRYPTO (1)
Prabhanjan Ananth, Kai-Min Chung, Rolando L. La Placa
2021 A* conf
On the Impossibility of Post-Quantum Black-Box Zero-Knowledge in Constant Round.
FOCS
Nai-Hui Chia, Kai-Min Chung, Qipeng Liu, Takashi Yamakawa
2021 J jnl
On the Impossibility of Post-Quantum Black-Box Zero-Knowledge in Constant Rounds.
CoRR
Nai-Hui Chia, Kai-Min Chung, Qipeng Liu, Takashi Yamakawa
2021 J jnl
On the Impossibility of Post-Quantum Black-Box Zero-Knowledge in Constant Rounds.
IACR Cryptol. ePrint Arch.
Nai-Hui Chia, Kai-Min Chung, Qipeng Liu, Takashi Yamakawa
2021 J jnl
Post-Quantum Simulatable Extraction with Minimal Assumptions: Black-Box and Constant-Round.
CoRR
Nai-Hui Chia, Kai-Min Chung, Xiao Liang, Takashi Yamakawa
2021 J jnl
Post-Quantum Simulatable Extraction with Minimal Assumptions: Black-Box and Constant-Round.
IACR Cryptol. ePrint Arch.
Nai-Hui Chia, Kai-Min Chung, Xiao Liang, Takashi Yamakawa
2021 — conf
Round Efficient Secure Multiparty Quantum Computation with Identifiable Abort.
CRYPTO (1)
Bar Alon, Hao Chung, Kai-Min Chung, Mi-Ying Huang, Yi Lee, Yu-Ching Shen
2021 — conf
Sample Efficient Algorithms for Learning Quantum Channels in PAC Model and the Approximate State Discrimination Problem.
TQC
Kai-Min Chung, Han-Hsuan Lin
2020 J jnl
A Black-Box Approach to Post-Quantum Zero-Knowledge in Constant Round.
CoRR
Nai-Hui Chia, Kai-Min Chung, Takashi Yamakawa
2020 J jnl
A Black-Box Approach to Post-Quantum Zero-Knowledge in Constant Rounds.
IACR Cryptol. ePrint Arch.
Nai-Hui Chia, Kai-Min Chung, Takashi Yamakawa
2020 — conf
Classical Verification of Quantum Computations with Efficient Verifier.
TCC (3)
Nai-Hui Chia, Kai-Min Chung, Takashi Yamakawa
2020 J jnl
Classical Verification of Quantum Computations with Efficient Verifier.
IACR Cryptol. ePrint Arch.
Nai-Hui Chia, Kai-Min Chung, Takashi Yamakawa
2020 J jnl
Constant-round Blind Classical Verification of Quantum Sampling.
CoRR
Kai-Min Chung, Yi Lee, Han-Hsuan Lin, Xiaodi Wu
2020 J jnl
Game-Theoretically Fair Leader Election in O(log log n) Rounds under Majority Coalitions.
IACR Cryptol. ePrint Arch.
Kai-Min Chung, T.-H. Hubert Chan, Ting Wen, Elaine Shi
2020 A conf
Lower Bounds for Function Inversion with Quantum Advice.
ITC
Kai-Min Chung, Tai-Ning Liao, Luowen Qian
2020 A conf
MPC for MPC: Secure Computation on a Massively Parallel Computing Architecture.
ITCS
T.-H. Hubert Chan, Kai-Min Chung, Wei-Kai Lin, Elaine Shi
2020 J jnl
MPC for MPC: Secure Computation on a Massively Parallel Computing Architecture.
IACR Cryptol. ePrint Arch.
T.-H. Hubert Chan, Kai-Min Chung, Wei-Kai Lin, Elaine Shi
2020 J jnl
On the Compressed-Oracle Technique, and Post-Quantum Security of Proofs of Sequential Work.
CoRR
Kai-Min Chung, Serge Fehr, Yu-Hsuan Huang, Tai-Ning Liao
2020 J jnl
On the Compressed-Oracle Technique, and Post-Quantum Security of Proofs of Sequential Work.
IACR Cryptol. ePrint Arch.
Kai-Min Chung, Serge Fehr, Yu-Hsuan Huang, Tai-Ning Liao
2020 J jnl
On the Concurrent Composition of Quantum Zero-Knowledge.
IACR Cryptol. ePrint Arch.
Prabhanjan Ananth, Kai-Min Chung, Rolando L. La Placa
2020 B conf
On the Hardness of Massively Parallel Computation.
SPAA
Kai-Min Chung, Kuan-Yi Ho, Xiaorui Sun
2020 J jnl
On the Hardness of Massively Parallel Computation.
CoRR
Kai-Min Chung, Kuan-Yi Ho, Xiaorui Sun
2020 A* conf
On the need for large quantum depth.
STOC
Nai-Hui Chia, Kai-Min Chung, Ching-Yi Lai
2020 J jnl
Round Efficient Secure Multiparty Quantum Computation with Identifiable Abort.
IACR Cryptol. ePrint Arch.
Bar Alon, Hao Chung, Kai-Min Chung, Mi-Ying Huang, Yi Lee, Yu-Ching Shen
2020 A* conf
Tight Quantum Time-Space Tradeoffs for Function Inversion.
FOCS
Kai-Min Chung, Siyao Guo, Qipeng Liu, Luowen Qian
2020 J jnl
Tight Quantum Time-Space Tradeoffs for Function Inversion.
CoRR
Kai-Min Chung, Siyao Guo, Qipeng Liu, Luowen Qian
2020 J jnl
Tight Quantum Time-Space Tradeoffs for Function Inversion.
Electron. Colloquium Comput. Complex.
Kai-Min Chung, Siyao Guo, Qipeng Liu, Luowen Qian
2020 J jnl
Tight Quantum Time-Space Tradeoffs for Function Inversion.
IACR Cryptol. ePrint Arch.
Kai-Min Chung, Siyao Guo, Qipeng Liu, Luowen Qian
2020 — ch.
When Simple Hash Functions Suffice.
Beyond the Worst-Case Analysis of Algorithms
Kai-Min Chung, Michael Mitzenmacher, Salil P. Vadhan
2019 J jnl
A Quantum-Proof Non-Malleable Extractor With Application to Privacy Amplification against Active Quantum Adversaries.
IACR Cryptol. ePrint Arch.
Divesh Aggarwal, Kai-Min Chung, Han-Hsuan Lin, Thomas Vidick
2019 — conf
A Quantum-Proof Non-malleable Extractor - With Application to Privacy Amplification Against Active Quantum Adversaries.
EUROCRYPT (2)
Divesh Aggarwal, Kai-Min Chung, Han-Hsuan Lin, Thomas Vidick
2019 — conf
Adaptively Secure Garbling Schemes for Parallel Computations.
TCC (2)
Kai-Min Chung, Luowen Qian
2019 J jnl
Adaptively Secure Garbling Schemes for Parallel Computations.
IACR Cryptol. ePrint Arch.
Kai-Min Chung, Luowen Qian
2019 J jnl
Classical Verification of Quantum Computations with Efficient Verifier.
CoRR
Nai-Hui Chia, Kai-Min Chung, Takashi Yamakawa
2019 J jnl
Cryptography with Disposable Backdoors.
Cryptogr.
Kai-Min Chung, Marios Georgiou, Ching-Yi Lai, Vassilis Zikas
2019 A* conf
Foundations of Differentially Oblivious Algorithms.
SODA
T.-H. Hubert Chan, Kai-Min Chung, Bruce M. Maggs, Elaine Shi
2019 B conf
Interactive Leakage Chain Rule for Quantum Min-entropy.
ISIT
Ching-Yi Lai, Kai-Min Chung
2019 J jnl
Lower Bounds for Function Inversion with Quantum Advice.
CoRR
Kai-Min Chung, Tai-Ning Liao, Luowen Qian
2019 — conf
On Quantum Advantage in Information Theoretic Single-Server PIR.
EUROCRYPT (3)
Dorit Aharonov, Zvika Brakerski, Kai-Min Chung, Ayal Green, Ching-Yi Lai, Or Sattath
2019 J jnl
On Quantum Advantage in Information Theoretic Single-Server PIR.
CoRR
Dorit Aharonov, Zvika Brakerski, Kai-Min Chung, Ayal Green, Ching-Yi Lai, Or Sattath
2019 J jnl
On Quantum Advantage in Information Theoretic Single-Server PIR.
IACR Cryptol. ePrint Arch.
Dorit Aharonov, Zvika Brakerski, Kai-Min Chung, Ayal Green, Ching-Yi Lai, Or Sattath
2019 A conf
On the Algorithmic Power of Spiking Neural Networks.
ITCS
Chi-Ning Chou, Kai-Min Chung, Chi-Jen Lu
2019 J jnl
On the Need for Large Quantum Depth.
CoRR
Nai-Hui Chia, Kai-Min Chung, Ching-Yi Lai
2019 J jnl
Quantum encryption and generalized Shannon impossibility.
Des. Codes Cryptogr.
Ching-Yi Lai, Kai-Min Chung
2018 J jnl
Cryptography with Dispensable Backdoors.
IACR Cryptol. ePrint Arch.
Kai-Min Chung, Marios Georgiou, Ching-Yi Lai, Vassilis Zikas
2018 J jnl
Game Theoretic Notions of Fairness in Multi-Party Coin Toss.
IACR Cryptol. ePrint Arch.
Kai-Min Chung, Yue Guo, Wei-Kai Lin, Rafael Pass, Elaine Shi
2018 — conf
Game Theoretic Notions of Fairness in Multi-party Coin Toss.
TCC (1)
Kai-Min Chung, Yue Guo, Wei-Kai Lin, Rafael Pass, Elaine Shi
2018 J jnl
Generalized Quantum Shannon Impossibility for Quantum Encryption.
CoRR
Ching-Yi Lai, Kai-Min Chung
2018 J jnl
On statistically-secure quantum homomorphic encryption.
Quantum Inf. Comput.
Ching-Yi Lai, Kai-Min Chung
2018 J jnl
On the Algorithmic Power of Spiking Neural Networks.
CoRR
Chi-Ning Chou, Kai-Min Chung, Chi-Jen Lu
2018 — conf
On the Complexity of Simulating Auxiliary Input.
EUROCRYPT (3)
Yi-Hsiu Chen, Kai-Min Chung, Jyun-Jie Liao
2018 J jnl
On the Complexity of Simulating Auxiliary Input.
IACR Cryptol. ePrint Arch.
Yi-Hsiu Chen, Kai-Min Chung, Jyun-Jie Liao
2018 J jnl
On the Sample Complexity of PAC Learning Quantum Process.
CoRR
Kai-Min Chung, Han-Hsuan Lin
2018 J jnl
Space-efficient classical and quantum algorithms for the shortest vector problem.
Quantum Inf. Comput.
Yanlin Chen, Kai-Min Chung, Ching-Yi Lai
2017 J jnl
A Quantum-Proof Non-Malleable Extractor, With Application to Privacy Amplification against Active Quantum Adversaries.
CoRR
Divesh Aggarwal, Kai-Min Chung, Han-Hsuan Lin, Thomas Vidick
2017 J jnl
Computational Notions of Quantum Min-Entropy.
CoRR
Yi-Hsiu Chen, Kai-Min Chung, Ching-Yi Lai, Salil P. Vadhan, Xiaodi Wu
2017 J jnl
Distributed algorithms for the Lovász local lemma and graph coloring.
Distributed Comput.
Kai-Min Chung, Seth Pettie, Hsin-Hao Su
2017 J jnl
Foundations of Differentially Oblivious Algorithms.
IACR Cryptol. ePrint Arch.
T.-H. Hubert Chan, Kai-Min Chung, Bruce M. Maggs, Elaine Shi
2017 J jnl
On Statistically-Secure Quantum Homomorphic Encryption.
CoRR
Ching-Yi Lai, Kai-Min Chung
2017 — conf
On the Depth of Oblivious Parallel RAM.
ASIACRYPT (1)
T.-H. Hubert Chan, Kai-Min Chung, Elaine Shi
2017 J jnl
On the Depth of Oblivious Parallel RAM.
IACR Cryptol. ePrint Arch.
T.-H. Hubert Chan, Kai-Min Chung, Elaine Shi
2017 J jnl
On the Impossibility of Cryptography with Tamperable Randomness.
Algorithmica
Per Austrin, Kai-Min Chung, Mohammad Mahmoody, Rafael Pass, Karn Seth
2017 J jnl
Space-efficient classical and quantum algorithms for the shortest vector problem.
CoRR
Yanlin Chen, Kai-Min Chung, Ching-Yi Lai
2016 A conf
Cryptography for Parallel RAM from Indistinguishability Obfuscation.
ITCS
Yu-Chi Chen, Sherman S. M. Chow, Kai-Min Chung, Russell W. F. Lai, Wei-Kai Lin, Hong-Sheng Zhou
2016 — conf
Delegating RAM Computations with Adaptive Soundness and Privacy.
TCC (B2)
Prabhanjan Ananth, Yu-Chi Chen, Kai-Min Chung, Huijia Lin, Wei-Kai Lin
2016 J jnl
Non-Black-Box Simulation from One-Way Functions and Applications to Resettable Security.
SIAM J. Comput.
Kai-Min Chung, Rafael Pass, Karn Seth
2016 — conf
Oblivious Parallel RAM and Applications.
TCC (A2)
Elette Boyle, Kai-Min Chung, Rafael Pass
2016 — ed.
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
Public Key Cryptography (1)
Chen-Mou Cheng, Kai-Min Chung, Giuseppe Persiano, Bo-Yin Yang
2016 — ed.
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
Public Key Cryptography (2)
Chen-Mou Cheng, Kai-Min Chung, Giuseppe Persiano, Bo-Yin Yang
2015 J jnl
Computation-Trace Indistinguishability Obfuscation and its Applications.
IACR Cryptol. ePrint Arch.
Yu-Chi Chen, Sherman S. M. Chow, Kai-Min Chung, Russell W. F. Lai, Wei-Kai Lin, Hong-Sheng Zhou
2015 — conf
Constant-Round Concurrent Zero-Knowledge from Indistinguishability Obfuscation.
CRYPTO (1)
Kai-Min Chung, Huijia Lin, Rafael Pass
2015 J jnl
Delegating RAM Computations with Adaptive Soundness and Privacy.
IACR Cryptol. ePrint Arch.
Prabhanjan Ananth, Yu-Chi Chen, Kai-Min Chung, Huijia Lin, Wei-Kai Lin
2015 — conf
From Weak to Strong Zero-Knowledge and Applications.
TCC (1)
Kai-Min Chung, Edward Lui, Rafael Pass
2015 J jnl
Functional Encryption from (Small) Hardwae Tokens.
IACR Cryptol. ePrint Arch.
Kai-Min Chung, Jonathan Katz, Hong-Sheng Zhou
2015 — conf
Large-Scale Secure Computation: Multi-party Computation for (Parallel) RAM Programs.
CRYPTO (2)
Elette Boyle, Kai-Min Chung, Rafael Pass
2015 A conf
Parallel Repetition for Entangled k-player Games via Fast Quantum Search.
CCC
Kai-Min Chung, Xiaodi Wu, Henry S. Yuen
2015 J jnl
Parallel repetition for entangled k-player games via fast quantum search.
CoRR
Xiaodi Wu, Kai-Min Chung, Henry S. Yuen
2015 — conf
Tight Parallel Repetition Theorems for Public-Coin Arguments Using KL-Divergence.
TCC (2)
Kai-Min Chung, Rafael Pass
2015 J jnl
Tight Parallel Repetition Theorems for Public-Coin Arguments using KL-divergence.
IACR Cryptol. ePrint Arch.
Kai-Min Chung, Rafael Pass
2014 B conf
4-Round Resettably-Sound Zero Knowledge.
TCC
Kai-Min Chung, Rafail Ostrovsky, Rafael Pass, Muthuramakrishnan Venkitasubramaniam, Ivan Visconti
2014 J jnl
Constant-Round Concurrent Zero-knowledge from Indistinguishability Obfuscation.
IACR Cryptol. ePrint Arch.
Kai-Min Chung, Huijia Lin, Rafael Pass
2014 A* conf
Distributed algorithms for the Lovász local lemma and graph coloring.
PODC
Kai-Min Chung, Seth Pettie, Hsin-Hao Su
2014 J jnl
Large-Scale Secure Computation.
IACR Cryptol. ePrint Arch.
Elette Boyle, Kai-Min Chung, Rafael Pass
2014 J jnl
Multi-Source Randomness Extractors Against Quantum Side Information, and their Applications.
CoRR
Kai-Min Chung, Xin Li, Xiaodi Wu
2014 J jnl
Multi-Source Randomness Extractors Against Quantum Side Information, and their Applications.
Electron. Colloquium Comput. Complex.
Kai-Min Chung, Xin Li, Xiaodi Wu
2014 J jnl
Oblivious Parallel RAM.
IACR Cryptol. ePrint Arch.
Elette Boyle, Kai-Min Chung, Rafael Pass
2014 B conf
On Extractability Obfuscation.
TCC
Elette Boyle, Kai-Min Chung, Rafael Pass
2014 — conf
On the Impossibility of Cryptography with Tamperable Randomness.
CRYPTO (1)
Per Austrin, Kai-Min Chung, Mohammad Mahmoody, Rafael Pass, Karn Seth
2014 J jnl
On the Lattice Smoothing Parameter Problem.
CoRR
Kai-Min Chung, Daniel Dadush, Feng-Hao Liu, Chris Peikert
2014 — conf
Statistically-secure ORAM with Õ(log
ASIACRYPT (2)
Kai-Min Chung, Zhenming Liu, Rafael Pass
2013 J jnl
A Simple ORAM.
IACR Cryptol. ePrint Arch.
Kai-Min Chung, Rafael Pass
2013 A conf
Can theories be tested?: a cryptographic treatment of forecast testing.
ITCS
Kai-Min Chung, Edward Lui, Rafael Pass
2013 A* conf
Constant-Round Concurrent Zero Knowledge from P-Certificates.
FOCS
Kai-Min Chung, Huijia Lin, Rafael Pass
2013 J jnl
From Weak to Strong Zero-Knowledge and Applications.
IACR Cryptol. ePrint Arch.
Kai-Min Chung, Edward Lui, Rafael Pass
2013 — conf
Functional Encryption from (Small) Hardware Tokens.
ASIACRYPT (2)
Kai-Min Chung, Jonathan Katz, Hong-Sheng Zhou
2013 J jnl
Guest column: parallel repetition theorems for interactive arguments.
SIGACT News
Kai-Min Chung, Rafael Pass
2013 J jnl
Interactive Coding, Revisited.
IACR Cryptol. ePrint Arch.
Kai-Min Chung, Rafael Pass, Sidharth Telang
2013 A* conf
Knowledge-Preserving Interactive Coding.
FOCS
Kai-Min Chung, Rafael Pass, Sidharth Telang
2013 J jnl
Non-Black-Box Simulation from One-Way Functions And Applications to Resettable Security.
IACR Cryptol. ePrint Arch.
Kai-Min Chung, Rafael Pass, Karn Seth
2013 A* conf
Non-black-box simulation from one-way functions and applications to resettable security.
STOC
Kai-Min Chung, Rafael Pass, Karn Seth
2013 J jnl
On Extractability Obfuscation.
IACR Cryptol. ePrint Arch.
Elette Boyle, Kai-Min Chung, Rafael Pass
2013 J jnl
On the (Im)Possibility of Tamper-Resilient Cryptography: Using Fourier Analysis in Computer Viruses.
IACR Cryptol. ePrint Arch.
Per Austrin, Kai-Min Chung, Mohammad Mahmoody, Rafael Pass, Karn Seth
2013 A conf
On the Lattice Smoothing Parameter Problem.
CCC
Kai-Min Chung, Daniel Dadush, Feng-Hao Liu, Chris Peikert
2013 A conf
On the power of nonuniformity in proofs of security.
ITCS
Kai-Min Chung, Huijia Lin, Mohammad Mahmoody, Rafael Pass
2013 B conf
Randomness-Dependent Message Security.
TCC
Eleanor Birrell, Kai-Min Chung, Rafael Pass, Sidharth Telang
2013 A* conf
Simultaneous Resettability from One-Way Functions.
FOCS
Kai-Min Chung, Rafail Ostrovsky, Rafael Pass, Ivan Visconti
2013 J jnl
Simultaneous Resettable WI from One-way Functions.
IACR Cryptol. ePrint Arch.
Kai-Min Chung, Rafael Pass
2013 J jnl
Statistically-secure ORAM with $\tilde{O}(\log^2 n)$ Overhead.
CoRR
Kai-Min Chung, Zhenming Liu, Rafael Pass
2013 J jnl
Why Simple Hash Functions Work: Exploiting the Entropy in a Data Stream.
Theory Comput.
Kai-Min Chung, Michael Mitzenmacher, Salil P. Vadhan
2012 A conf
Chernoff-Hoeffding Bounds for Markov Chains: Generalized and Simplified.
STACS
Kai-Min Chung, Henry Lam, Zhenming Liu, Michael Mitzenmacher
2012 J jnl
Constant-Round Concurrent Zero Knowledge From Falsifiable Assumptions.
IACR Cryptol. ePrint Arch.
Kai-Min Chung, Huijia Lin, Rafael Pass
2012 B conf
The Knowledge Tightness of Parallel Zero-Knowledge.
TCC
Kai-Min Chung, Rafael Pass, Wei-Lung Dustin Tseng
2012 J jnl
Unprovable Security of Two-Message Zero Knowledge.
IACR Cryptol. ePrint Arch.
Kai-Min Chung, Edward Lui, Mohammad Mahmoody, Rafael Pass
2011 B conf
Efficient Secure Two-Party Exponentiation.
CT-RSA
Ching-Hua Yu, Sherman S. M. Chow, Kai-Min Chung, Feng-Hao Liu
2011 A* conf
Memory Delegation.
CRYPTO
Kai-Min Chung, Yael Tauman Kalai, Feng-Hao Liu, Ran Raz
2011 J jnl
Memory Delegation.
IACR Cryptol. ePrint Arch.
Kai-Min Chung, Yael Tauman Kalai, Feng-Hao Liu, Ran Raz
2011 J jnl
S-T connectivity on digraphs with a known stationary distribution.
ACM Trans. Algorithms
Kai-Min Chung, Omer Reingold, Salil P. Vadhan
2011 A* conf
The Randomness Complexity of Parallel Repetition.
FOCS
Kai-Min Chung, Rafael Pass
2010 A conf
AMS Without 4-Wise Independence on Product Domains.
STACS
Vladimir Braverman, Kai-Min Chung, Zhenming Liu, Michael Mitzenmacher, Rafail Ostrovsky
2010 A conf
Efficient String-Commitment from Weak Bit-Commitment.
ASIACRYPT
Kai-Min Chung, Feng-Hao Liu, Chi-Jen Lu, Bo-Yin Yang
2010 A* conf
Improved Delegation of Computation Using Fully Homomorphic Encryption.
CRYPTO
Kai-Min Chung, Yael Tauman Kalai, Salil P. Vadhan
2010 J jnl
Improved Delegation of Computation using Fully Homomorphic Encryption.
IACR Cryptol. ePrint Arch.
Kai-Min Chung, Yael Tauman Kalai, Salil P. Vadhan
2010 B conf
Parallel Repetition Theorems for Interactive Arguments.
TCC
Kai-Min Chung, Feng-Hao Liu
2009 J jnl
Tight Parallel Repetition Theorems for Public-coin Arguments.
Electron. Colloquium Comput. Complex.
Kai-Min Chung, Feng-Hao Liu
2008 J jnl
Tight Bounds for Hashing Block Sources
CoRR
Kai-Min Chung, Salil P. Vadhan
2008 — conf
Tight Bounds for Hashing Block Sources.
APPROX-RANDOM
Kai-Min Chung, Salil P. Vadhan
2007 A conf
S-T Connectivity on Digraphs with a Known Stationary Distribution.
CCC
Kai-Min Chung, Omer Reingold, Salil P. Vadhan
2007 J jnl
S-T Connectivity on Digraphs with a Known Stationary Distribution.
Electron. Colloquium Comput. Complex.
Kai-Min Chung, Omer Reingold, Salil P. Vadhan
2004 J jnl
An Optimal Algorithm for the Maximum-Density Segment Problem.
SIAM J. Comput.
Kai-Min Chung, Hsueh-I Lu
2004 J jnl
Decomposition Methods for Linear Support Vector Machines.
Neural Comput.
Wei-Chun Kao, Kai-Min Chung, Chia-Liang Sun, Chih-Jen Lin
2003 J jnl
An Optimal Algorithm for the Maximum-Density Segment Problem
CoRR
Kai-Min Chung, Hsueh-I Lu
2003 A conf
An Optimal Algorithm for the Maximum-Density Segment Problem.
ESA
Kai-Min Chung, Hsueh-I Lu
2003 — conf
Decomposition methods for linear support vector machines.
ICASSP (4)
Kai-Min Chung, Wei-Chun Kao, Tony Sun, Chih-Jen Lin
2003 J jnl
Radius Margin Bounds for Support Vector Machines with the RBF Kernel.
Neural Comput.
Kai-Min Chung, Wei-Chun Kao, Chia-Liang Sun, Li-Lun Wang, Chih-Jen Lin
1998 J jnl
Narrowband active noise control using adaptive delay filter.
IEEE Signal Process. Lett.
Sen M. Kuo, Kai-Min Chung
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski