{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,2]],"date-time":"2025-12-02T06:39:24Z","timestamp":1764657564231,"version":"3.46.0"},"reference-count":33,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T00:00:00Z","timestamp":1756512000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T00:00:00Z","timestamp":1756512000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001775","name":"University of Technology Sydney, Australia","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001775","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,8,30]]},"DOI":"10.1109\/qce65121.2025.00147","type":"proceedings-article","created":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T18:22:51Z","timestamp":1764613371000},"page":"1319-1330","source":"Crossref","is-referenced-by-count":0,"title":["Towards Efficient Verification of Computation in Quantum Devices"],"prefix":"10.1109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5559-0421","authenticated-orcid":false,"given":"Keren","family":"Li","sequence":"first","affiliation":[{"name":"College of Physics and Optoelectronic Engineering, Shenzhen University,Shenzhen,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2930-7447","authenticated-orcid":false,"given":"Peng","family":"Yan","sequence":"additional","affiliation":[{"name":"Beijing Institute of Mathematical Sciences and Applications,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5965-1209","authenticated-orcid":false,"given":"Hanru","family":"Jiang","sequence":"additional","affiliation":[{"name":"School of Computer Science, Nanjing University of Posts and Telecommunications,Nanjing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1188-3032","authenticated-orcid":false,"given":"Nengkun","family":"Yu","sequence":"additional","affiliation":[{"name":"Stony Brook University,Department of Computer Science,Stony Brook,US"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/sfcs.1994.365700"},{"issue":"1","key":"ref2","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/j.ipl.2004.01.024","article-title":"The quantum query complexity of the hidden subgroup problem is polynomial","volume":"91","author":"Ettinger","year":"2004","journal-title":"Information Processing Letters"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/237814.237866"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1103\/physrevlett.103.150502"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1038\/543s1a"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1126\/science.abe8770"},{"issue":"7779","key":"ref7","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1038\/s41586-019-1666-5","article-title":"Quantum supremacy using a programmable superconducting processor","volume":"574","author":"Arute","year":"2019","journal-title":"Nature"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-023-06096-3"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1103\/physrevlett.122.210502"},{"issue":"3","key":"ref10","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/0024-3795(75)90075-0","article-title":"Completely positive linear maps on complex matrices","volume":"10","author":"Choi","year":"1975","journal-title":"Linear Algebra and its Applications"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2897518.2897585"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3188745.3188802"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.107.042403"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevResearch.6.013029"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"79","DOI":"10.22331\/q-2018-08-06-79","article-title":"Quantum computing in the nisq era and beyond","volume":"2","author":"Preskill","year":"2018","journal-title":"Quantum"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-conmatphys-031119-050605"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1103\/RevModPhys.76.1037"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.127.180501"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/aba404"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.124.100401"},{"volume-title":"Sample efficient tomography via pauli measurements","year":"2020","author":"Yu","key":"ref21"},{"volume-title":"An approximate fourier transform useful in quantum factoring","year":"2002","author":"Coppersmith","key":"ref23"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1038\/nphys3029"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1017\/cbo9780511976667"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1063\/1.1465412"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1103\/physrevlett.127.130501"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.105.150401"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.106.230501"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.77.012307"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1038\/s41567-018-0124-x"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.22331\/q-2021-10-05-557"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1038\/s41467-019-13068-7"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1103\/physrevresearch.6.013029"}],"event":{"name":"2025 IEEE International Conference on Quantum Computing and Engineering (QCE)","start":{"date-parts":[[2025,8,30]]},"location":"Albuquerque, NM, USA","end":{"date-parts":[[2025,9,5]]}},"container-title":["2025 IEEE International Conference on Quantum Computing and Engineering (QCE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11249812\/11249813\/11250272.pdf?arnumber=11250272","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,2]],"date-time":"2025-12-02T06:35:37Z","timestamp":1764657337000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11250272\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,30]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/qce65121.2025.00147","relation":{},"subject":[],"published":{"date-parts":[[2025,8,30]]}}}