{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T08:00:40Z","timestamp":1768032040565,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,30]]},"DOI":"10.1145\/3716368.3735296","type":"proceedings-article","created":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T13:58:23Z","timestamp":1751032703000},"page":"265-272","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["CHEQ: Towards Enabling Circuit Integrity Checking in Quantum Controllers"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-1146-5877","authenticated-orcid":false,"given":"Barbora","family":"Hrd\u00e1","sequence":"first","affiliation":[{"name":"Technical University of Munich, Munich, Germany; Yale University, New Haven, USA and Fraunhofer AISEC, Garching near Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-0938-9547","authenticated-orcid":false,"given":"Sanjay","family":"Deshpande","sequence":"additional","affiliation":[{"name":"Yale University, New Haven, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-7750-068X","authenticated-orcid":false,"given":"Theodoros","family":"Trochatos","sequence":"additional","affiliation":[{"name":"Yale University, New Haven, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9721-3640","authenticated-orcid":false,"given":"Jakub","family":"Szefer","sequence":"additional","affiliation":[{"name":"Northwestern University, Evanston, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,6,29]]},"reference":[{"key":"e_1_3_3_1_2_2","unstructured":"Dorit Aharonov Michael Ben-Or and Elad Eban. 2008. Interactive Proofs For Quantum Computations. arxiv:https:\/\/arXiv.org\/abs\/0810.5375\u00a0[quant-ph] https:\/\/arxiv.org\/pdf\/0810.5375.pdf."},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1109\/DSD51259.2020.00046"},{"key":"e_1_3_3_1_4_2","unstructured":"Frederik Armknecht Colin Boyd Christopher Carr Kristian Gj\u00f8steen Angela J\u00e4schke Christian\u00a0A Reuter and Martin Strand. 2015. A guide to fully homomorphic encryption. Cryptology ePrint Archive (2015)."},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"crossref","unstructured":"Pablo Arrighi and Louis Salvail. 2006. Blind Quantum Computation. International Journal of Quantum Information 4 05 (2006) 883\u2013898.","DOI":"10.1142\/S0219749906002171"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"crossref","unstructured":"Zenghui Bao Yan Li Zhiling Wang Jiahui Wang Jize Yang Haonan Xiong Yipu Song Yukai Wu Hongyi Zhang and Luming Duan. 2024. A cryogenic on-chip microwave pulse generator for large-scale superconducting quantum computing. Nature Communications 15 1 (2024) 5958.","DOI":"10.1038\/s41467-024-50333-w"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"crossref","unstructured":"Stefanie Barz Joseph\u00a0F Fitzsimons Elham Kashefi and Philip Walther. 2013. Experimental verification of quantum computation. Nature physics 9 11 (2013) 727\u2013731.","DOI":"10.1038\/nphys2763"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38348-9_19"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"crossref","unstructured":"Sebastian Brandhofer Ilia Polian and Kevin Krsulich. 2023. Optimal partitioning of quantum circuits using gate cuts and wire cuts. IEEE Transactions on Quantum Engineering 5 (2023) 1\u201310.","DOI":"10.1109\/TQE.2023.3347106"},{"key":"e_1_3_3_1_10_2","unstructured":"Lukas Brenner Christophe Piveteau and David Sutter. 2023. Optimal wire cutting with classical communication. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2302.03366 (2023)."},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS.2009.36"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/QCE57702.2023.00012"},{"key":"e_1_3_3_1_13_2","unstructured":"Andrew\u00a0M Childs. 2001. Secure assisted quantum computation. arXiv preprint quant-ph\/0111046 (2001)."},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"crossref","unstructured":"Andrew Cross Ali Javadi-Abhari Thomas Alexander Niel De\u00a0Beaudrap Lev\u00a0S Bishop Steven Heidel Colm\u00a0A Ryan Prasahnt Sivarajah John Smolin Jay\u00a0M Gambetta et\u00a0al. 2022. OpenQASM 3: A broader and deeper quantum assembly language. ACM Transactions on Quantum Computing 3 3 (2022) 1\u201350.","DOI":"10.1145\/3505636"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"crossref","unstructured":"Shantanu Debnath Norbert\u00a0M Linke Caroline Figgatt Kevin\u00a0A Landsman Kevin Wright and Christopher Monroe. 2016. Demonstration of a small programmable quantum computer with atomic qubits. Nature 536 7614 (2016) 63\u201366.","DOI":"10.1038\/nature18648"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","unstructured":"Sanjay Deshpande Yongseok Lee Cansu Karakuzu Jakub Szefer and Yunheung Paek. 2025. SPHINCSLET: An Area-Efficient Accelerator for the Full SPHINCS+ Digital Signature Algorithm. (2025). 10.1145\/3728469","DOI":"10.1145\/3728469"},{"key":"e_1_3_3_1_17_2","unstructured":"Real Digital. [n. d.]. RFSoC 4x2 - Real Digital. https:\/\/www.realdigital.org\/hardware\/rfsoc-4x2 Accessed: 2025-03-18."},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"crossref","unstructured":"Joseph\u00a0F Fitzsimons. 2017. Private quantum computation: an introduction to blind quantum computing and related protocols. npj Quantum Information 3 1 (2017) 23.","DOI":"10.1038\/s41534-017-0025-3"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","unstructured":"Joseph\u00a0F. Fitzsimons and Elham Kashefi. 2017. Unconditionally verifiable blind quantum computation. Physical Review A 96 1 (jul 2017). 10.1103\/physreva.96.012303https:\/\/arxiv.org\/pdf\/1203.5217.pdf.","DOI":"10.1103\/physreva.96.012303"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"crossref","unstructured":"Caroline Fontaine and Fabien Galand. 2007. A survey of homomorphic encryption for nonspecialists. EURASIP Journal on Information Security 2007 (2007) 1\u201310.","DOI":"10.1155\/2007\/13801"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/237814.237866"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"publisher","DOI":"10.1145\/3600160.3604982"},{"key":"e_1_3_3_1_23_2","volume-title":"SPHINCS+","author":"H\u00fclsing Andreas","year":"2020","unstructured":"Andreas H\u00fclsing, Daniel\u00a0J. Bernstein, Christoph Dobraunig, Maria Eichlseder, Scott Fluhrer, Stefan-Lukas Gazdag, Panos Kampanakis, Stefan K\u00f6lbl, Tanja Lange, Martin\u00a0M. Lauridsen, Florian Mendel, Ruben Niederhagen, Christian Rechberger, Joost Rijneveld, Peter Schwabe, Jean-Philippe Aumasson, Bas Westerbaan, and Ward Beullens. 2020. SPHINCS+. Technical Report. National Institute of Standards and Technology. available at https:\/\/csrc.nist.gov\/projects\/post-quantum-cryptography\/post-quantum-cryptography-standardization\/round-3-submissions."},{"key":"e_1_3_3_1_24_2","unstructured":"IBM. [n.d.]. IBM Quantum Platform. https:\/\/quantum.ibm.com\/ Accessed: 2025-03-18."},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"crossref","unstructured":"Stefan K\u00f6lbl Martin\u00a0M. Lauridsen Florian Mendel and Christian Rechberger. 2016. Haraka v2 - Efficient Short-Input Hashing for Post-Quantum Applications. Cryptology ePrint Archive Paper 2016\/098. https:\/\/eprint.iacr.org\/2016\/098","DOI":"10.46586\/tosc.v2016.i2.1-29"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"crossref","unstructured":"Angus Lowe Matija Medvidovi\u0107 Anthony Hayes Lee\u00a0J O\u2019Riordan Thomas\u00a0R Bromley Juan\u00a0Miguel Arrazola and Nathan Killoran. 2023. Fast quantum circuit cutting with randomized measurements. Quantum 7 (2023) 934.","DOI":"10.22331\/q-2023-03-02-934"},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"crossref","unstructured":"Urmila Mahadev. 2020. Classical homomorphic encryption for quantum circuits. SIAM J. Comput.0 (2020) FOCS18\u2013189.","DOI":"10.1137\/18M1231055"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"publisher","unstructured":"Tomoyuki Morimae. 2012. Continuous-Variable Blind Quantum Computation. Physical Review Letters 109 23 (dec 2012). 10.1103\/physrevlett.109.230502https:\/\/arxiv.org\/pdf\/1208.0442.pdf.","DOI":"10.1103\/physrevlett.109.230502"},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.6028\/NIST.IR.8547.ipd"},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"publisher","unstructured":"National Institute of Standards and Technology (NIST). 2015. Secure Hash Standard (SHS). 10.6028\/NIST.FIPS.180-4. FIPS PUB 180-4.","DOI":"10.6028\/NIST.FIPS.180-4"},{"key":"e_1_3_3_1_31_2","doi-asserted-by":"publisher","unstructured":"National Institute of Standards and Technology (NIST). 2015. SHA-3 Standard: Permutation-Based Hash and Extendable-Output Functions. 10.6028\/NIST.FIPS.202. FIPS PUB 202.","DOI":"10.6028\/NIST.FIPS.202"},{"key":"e_1_3_3_1_32_2","doi-asserted-by":"publisher","unstructured":"National\u00a0Institute of Standards and Technology. 2015. SHA-3 Standard: Permutation-Based Hash and Extendable-Output Functions. 10.6028\/NIST.FIPS.202 Accessed: 2025-03-24.","DOI":"10.6028\/NIST.FIPS.202"},{"key":"e_1_3_3_1_33_2","unstructured":"Openquantumhardware. [n. d.]. tProcessor-64 and Signal Generator V4. https:\/\/github.com\/openquantumhardware\/qick\/blob\/main\/firmware\/tProcessor_64_and_Signal_Generator_V4.pdf Accessed: 2025-03-18."},{"key":"e_1_3_3_1_34_2","doi-asserted-by":"crossref","unstructured":"Matteo Paltenghi and Michael Pradel. 2022. Bugs in Quantum computing platforms: an empirical study. Proceedings of the ACM on Programming Languages 6 OOPSLA1 (2022) 1\u201327.","DOI":"10.1145\/3527330"},{"key":"e_1_3_3_1_35_2","doi-asserted-by":"publisher","unstructured":"Tianyi Peng Aram\u00a0W. Harrow Maris Ozols and Xiaodi Wu. 2020. Simulating Large Quantum Circuits on a Small Quantum Computer. Physical Review Letters 125 15 (oct 2020). 10.1103\/physrevlett.125.150504https:\/\/arxiv.org\/pdf\/1904.00102.pdf.","DOI":"10.1103\/physrevlett.125.150504"},{"key":"e_1_3_3_1_36_2","doi-asserted-by":"crossref","unstructured":"Michael\u00a0A Perlin Zain\u00a0H Saleem Martin Suchara and James\u00a0C Osborn. 2021. Quantum circuit cutting with maximum-likelihood tomography. npj Quantum Information 7 1 (2021) 64.","DOI":"10.1038\/s41534-021-00390-6"},{"key":"e_1_3_3_1_37_2","unstructured":"Quantinuum. [n.d.]. Quantinuum. https:\/\/www.quantinuum.com\/ Accessed: 2025-03-18."},{"key":"e_1_3_3_1_38_2","unstructured":"Rigetti. [n.d.]. Rigetti Computing. https:\/\/www.rigetti.com\/ Accessed: 2025-03-18."},{"key":"e_1_3_3_1_39_2","unstructured":"Amazton\u00a0Web Services. [n.d.]. Amazon Braket. https:\/\/aws.amazon.com\/de\/braket\/ Accessed: 2025-03-18."},{"key":"e_1_3_3_1_40_2","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1994.365700"},{"key":"e_1_3_3_1_41_2","doi-asserted-by":"crossref","unstructured":"Leandro Stefanazzi Kenneth Treptow Neal Wilcer Chris Stoughton Collin Bradford Sho Uemura Silvia Zorzetti Salvatore Montella Gustavo Cancelo Sara Sussman et\u00a0al. 2022. The QICK (Quantum Instrumentation Control Kit): Readout and control for qubits and detectors. Review of Scientific Instruments 93 4 (2022).","DOI":"10.1063\/5.0076249"},{"key":"e_1_3_3_1_42_2","unstructured":"Thomas Strohm Karen Wintersperger Florian Dommert Daniel Basilewitsch Georg Reuber Andrey Hoursanov Thomas Ehmer Davide Vodola and Sebastian Luber. 2024. Ion-Based Quantum Computing Hardware: Performance and End-User Perspective. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2405.11450 (2024)."},{"key":"e_1_3_3_1_43_2","doi-asserted-by":"publisher","unstructured":"Takahiro Sueki Takeshi Koshiba and Tomoyuki Morimae. 2013. Ancilla-driven universal blind quantum computation. Physical Review A\u2014Atomic Molecular and Optical Physics 87 6 (2013) 060301. 10.1103\/PhysRevA.87.060301","DOI":"10.1103\/PhysRevA.87.060301"},{"key":"e_1_3_3_1_44_2","doi-asserted-by":"crossref","unstructured":"Naoki Takeuchi Taiki Yamae Taro Yamashita Tsuyoshi Yamamoto and Nobuyuki Yoshikawa. 2024. Microwave-multiplexed qubit controller using adiabatic superconductor logic. npj Quantum Information 10 1 (2024) 53.","DOI":"10.1038\/s41534-024-00849-2"},{"key":"e_1_3_3_1_45_2","doi-asserted-by":"crossref","unstructured":"Si-Hui Tan Joshua\u00a0A Kettlewell Yingkai Ouyang Lin Chen and Joseph\u00a0F Fitzsimons. 2016. A quantum approach to homomorphic encryption. Scientific reports 6 1 (2016) 33467.","DOI":"10.1038\/srep33467"},{"key":"e_1_3_3_1_46_2","doi-asserted-by":"publisher","DOI":"10.1109\/HOST55342.2024.10545385"},{"key":"e_1_3_3_1_47_2","doi-asserted-by":"crossref","unstructured":"Theodoros Trochatos Chuanqi Xu Sanjay Deshpande Yao Lu Yongshan Ding and Jakub Szefer. 2023. A quantum computer trusted execution environment. IEEE Computer Architecture Letters 22 2 (2023) 177\u2013180.","DOI":"10.1109\/LCA.2023.3325852"},{"key":"e_1_3_3_1_48_2","doi-asserted-by":"publisher","DOI":"10.1109\/QCE60285.2024.00212"},{"key":"e_1_3_3_1_49_2","doi-asserted-by":"crossref","unstructured":"Christian Ufrecht Laura\u00a0S Herzog Daniel\u00a0D Scherer Maniraman Periyasamy Sebastian Rietsch Axel Plinge and Christopher Mutschler. 2024. Optimal joint cutting of two-qubit rotation gates. Physical Review A 109 5 (2024) 052440.","DOI":"10.1103\/PhysRevA.109.052440"},{"key":"e_1_3_3_1_50_2","unstructured":"Yilun Xu Gang Huang Neelay Fruitwala Abhi Rajagopala Ravi\u00a0K. Naik Kasra Nowrouzi David\u00a0I. Santiago and Irfan Siddiqi. 2023. QubiC 2.0: An Extensible Open-Source Qubit Control System Capable of Mid-Circuit Measurement and Feed-Forward. arxiv:https:\/\/arXiv.org\/abs\/2309.10333\u00a0[quant-ph] https:\/\/arxiv.org\/abs\/2309.10333"},{"key":"e_1_3_3_1_51_2","unstructured":"Songqinghao Yang and Prakash Murali. 2024. Understanding the Scalability of Circuit Cutting Techniques for Practical Quantum Applications. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2411.17756 (2024)."}],"event":{"name":"GLSVLSI '25: Great Lakes Symposium on VLSI 2025","location":"New Orleans LA USA","acronym":"GLSVLSI '25","sponsor":["SIGDA ACM Special Interest Group on Design Automation"]},"container-title":["Proceedings of the Great Lakes Symposium on VLSI 2025"],"original-title":[],"deposited":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T14:37:47Z","timestamp":1751035067000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3716368.3735296"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,29]]},"references-count":50,"alternative-id":["10.1145\/3716368.3735296","10.1145\/3716368"],"URL":"https:\/\/doi.org\/10.1145\/3716368.3735296","relation":{},"subject":[],"published":{"date-parts":[[2025,6,29]]},"assertion":[{"value":"2025-06-29","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}