pith. sign in

Kai-Min Chung

Identifiers

  • name variant Kai-Min Chung 0.60 · backfill

Papers (20)

  1. Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting cs.SC · 2026 · author #4
  2. AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs (Technical Report) cs.LO · 2024 · author #2
  3. Interactive Leakage Chain Rule for Quantum Min-entropy quant-ph · 2018 · author #2
  4. On the Algorithmic Power of Spiking Neural Networks cs.NE · 2018 · author #2
  5. Quantum Encryption and Generalized Quantum Shannon Impossibility cs.IT · 2018 · author #2
  6. A Quantum-Proof Non-Malleable Extractor, With Application to Privacy Amplification against Active Quantum Adversaries quant-ph · 2017 · author #2
  7. Space-efficient classical and quantum algorithms for the shortest vector problem cs.DS · 2017 · author #2
  8. On Statistically-Secure Quantum Homomorphic Encryption quant-ph · 2017 · author #2
  9. Computational Notions of Quantum Min-Entropy cs.CR · 2017 · author #2
  10. Quantum-Proof Extractors: Optimal up to Constant Factors quant-ph · 2016 · author #1
  11. Parallel repetition for entangled k-player games via fast quantum search quant-ph · 2014 · author #1
  12. On the Lattice Smoothing Parameter Problem cs.CC · 2014 · author #1
  13. Multi-Source Randomness Extractors Against Quantum Side Information, and their Applications quant-ph · 2014 · author #1
  14. Strong parallel repetition for free entangled games, with any number of players quant-ph · 2014 · author #1
  15. Physical Randomness Extractors: Generating Random Numbers with Minimal Assumptions quant-ph · 2014 · author #1
  16. Statistically-secure ORAM with $\tilde{O}(\log^2 n)$ Overhead cs.CR · 2013 · author #1
  17. Chernoff-Hoeffding Bounds for Markov Chains: Generalized and Simplified math.PR · 2012 · author #1
  18. AMS Without 4-Wise Independence on Product Domains cs.DS · 2008 · author #2
  19. Tight Bounds for Hashing Block Sources cs.DS · 2008 · author #1
  20. An Optimal Algorithm for the Maximum-Density Segment Problem cs.DS · 2003 · author #1

Mentions

  • 1201.0559 #1 · backfill · confidence 0.70 Kai-Min Chung
  • 0806.4790 #2 · backfill · confidence 0.70 Kai-Min Chung
  • 0806.1948 #1 · backfill · confidence 0.70 Kai-Min Chung

Frequent Coauthors