{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T17:09:12Z","timestamp":1768410552171,"version":"3.49.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,2,1]]},"DOI":"10.23919\/date51398.2021.9474228","type":"proceedings-article","created":{"date-parts":[[2021,8,24]],"date-time":"2021-08-24T22:11:46Z","timestamp":1629843106000},"page":"1050-1055","source":"Crossref","is-referenced-by-count":1,"title":["A Resource Estimation and Verification Workflow in Q# Special session paper"],"prefix":"10.23919","author":[{"given":"Mathias","family":"Soeken","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mariia","family":"Mykhailova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vadym","family":"Kliuchnikov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher","family":"Granade","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Vaschillo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","author":"mykhailova","year":"2020","journal-title":"Inside the quantum katas part 1"},{"key":"ref32","author":"bonnetain","year":"2020","journal-title":"Quantum period finding against symmetric primitives in practice"},{"key":"ref31","article-title":"Concrete quantum cryptanalysis of binary elliptic curves","volume":"2021","author":"banegas","year":"2021","journal-title":"IACR Trans on Cryptographic Hardware and Embedded Systems"},{"key":"ref30","author":"jaques","year":"2019","journal-title":"Implementing grover oracles for quantum key search on AES and LowMC"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3328778.3366952"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"7555","DOI":"10.1073\/pnas.1619152114","article-title":"Eluci-dating reaction mechanism on quantum computers","volume":"114","author":"reiher","year":"0","journal-title":"Proceedings of the National Academy of Sciences"},{"key":"ref11","author":"gidney","year":"2019","journal-title":"How to factor 2048 bit rsa integers in 8 hours using 20 million noisy qubits"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1007\/978-3-030-44223-1_23","article-title":"Improved quantum circuits for elliptic curve discrete logarithms","volume":"12100","author":"h\u00e4ner","year":"2020","journal-title":"Int'l Workshop on Post-Quantum Cryptography ser Lecture Notes in Computer Science"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.22331\/q-2019-07-18-167"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"9456","DOI":"10.1073\/pnas.1801723115","article-title":"Toward the first quantum simulation with quantum speedup","volume":"115","author":"childs","year":"0","journal-title":"Proceedings of the National Academy of Sciences"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevX.8.041015"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI49217.2020.00032"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2013.6657074"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3183895.3183901"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.70.052328"},{"key":"ref28","author":"marshall","year":"2019","journal-title":"Visualizing quantum state with Q#"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3126908.3126947"},{"key":"ref27","author":"soeken","year":"2020","journal-title":"Build your own Q# simulator - part 3 A circuit-diagram builder with (qlpic)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1038\/s42254-020-00245-7"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/NANOARCH.2010.5510932"},{"key":"ref29","article-title":"Visualizing high-level quantum programs","author":"brown","year":"0","journal-title":"Int'l Workshop on Quantum Computing Software"},{"key":"ref5","first-page":"1","article-title":"Towards large-scale functional verification of universal quantum circuits","volume":"287","author":"amy","year":"2018","journal-title":"Quantum Physics and Logic ser EPTCS"},{"key":"ref8","first-page":"119","article-title":"QWIRE practice: Formal verification of quantum circuits in Coq","volume":"266","author":"rand","year":"2017","journal-title":"Quantum Physics and Logic ser EPTCS"},{"key":"ref7","author":"ying","year":"2009","journal-title":"Hoare logic for quantum programs"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2016.293"},{"key":"ref9","author":"von burg","year":"2020","journal-title":"Quantum computing enhanced computational catalysis"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02650179"},{"key":"ref20","author":"pham","year":"2012","journal-title":"A 2D nearest-neighbor quantum architecture for factoring in polylogarithmetic depth"},{"key":"ref22","author":"heim","year":"2020","journal-title":"Extending the Q# compiler"},{"key":"ref21","author":"soiffer","year":"2019","journal-title":"Q# compiler optimizations"},{"key":"ref24","first-page":"275","article-title":"Linear transformations which preserve trace and positive semidefiniteness of operators","volume":"3","author":"jamio?kowski","year":"1972","journal-title":"Rempe"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/0024-3795(75)90075-0"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-06-18-74"},{"key":"ref25","author":"soeken","year":"2020","journal-title":"Emulation in Q#"}],"event":{"name":"2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)","location":"Grenoble, France","start":{"date-parts":[[2021,2,1]]},"end":{"date-parts":[[2021,2,5]]}},"container-title":["2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9473901\/9473226\/09474228.pdf?arnumber=9474228","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,28]],"date-time":"2022-01-28T23:52:08Z","timestamp":1643413928000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9474228\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,1]]},"references-count":34,"URL":"https:\/\/doi.org\/10.23919\/date51398.2021.9474228","relation":{},"subject":[],"published":{"date-parts":[[2021,2,1]]}}}