( en | de | ru )

 

Disambiguation of "Chung, Kai-Min"

Author of the publication

copydeleteadd this publication to your clipboard
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits.

, , , , , and . Proc. ACM Program. Lang., 7 (PLDI): 1218-1243 (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kyung-Min Chung

Chong-Woon Chung

Myeong-Kee Chung

Ki-Nam Chung

Dai-Hai Chung

 

Other publications of authors with the same name

On the Algorithmic Power of Spiking Neural Networks., , and . CoRR, (2018)Space-efficient classical and quantum algorithms for the shortest vector problem., , and . CoRR, (2017)Functional Encryption from (Small) Hardware Tokens., , and . ASIACRYPT (2), volume 8270 of Lecture Notes in Computer Science, page 120-139. Springer, (2013)Memory Delegation., , , and . CRYPTO, volume 6841 of Lecture Notes in Computer Science, page 151-168. Springer, (2011)Classical Verification of Quantum Computations with Efficient Verifier., , and . CoRR, (2019)Cryptography for Parallel RAM from Indistinguishability Obfuscation., , , , , and . ITCS, page 179-190. ACM, (2016)Tight Quantum Time-Space Tradeoffs for Function Inversion., , , and . FOCS, page 673-684. IEEE, (2020)On the Compressed-Oracle Technique, and Post-Quantum Security of Proofs of Sequential Work., , , and . EUROCRYPT (2), volume 12697 of Lecture Notes in Computer Science, page 598-629. Springer, (2021)AutoQ: An Automata-Based Quantum Circuit Verifier., , , , and . CAV (3), volume 13966 of Lecture Notes in Computer Science, page 139-153. Springer, (2023)Round Efficient Secure Multiparty Quantum Computation with Identifiable Abort., , , , , and . CRYPTO (1), volume 12825 of Lecture Notes in Computer Science, page 436-466. Springer, (2021)