{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T14:45:45Z","timestamp":1776955545281,"version":"3.51.4"},"reference-count":46,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100004607","name":"Guangxi Natural Science Foundation","doi-asserted-by":"publisher","award":["2019GXNSFGA245004"],"award-info":[{"award-number":["2019GXNSFGA245004"]}],"id":[{"id":"10.13039\/501100004607","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004607","name":"Guangxi Natural Science Foundation","doi-asserted-by":"publisher","award":["AD20238082"],"award-info":[{"award-number":["AD20238082"]}],"id":[{"id":"10.13039\/501100004607","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62162016"],"award-info":[{"award-number":["62162016"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61972400"],"award-info":[{"award-number":["61972400"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Innovation Project of Guangxi Graduate Education","award":["YCBZ2023132"],"award-info":[{"award-number":["YCBZ2023132"]}]},{"name":"Innovation Project of Guangxi Graduate Education","award":["YCSW2023304"],"award-info":[{"award-number":["YCSW2023304"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Circuits Syst. I"],"published-print":{"date-parts":[[2024,1]]},"DOI":"10.1109\/tcsi.2023.3325559","type":"journal-article","created":{"date-parts":[[2023,10,26]],"date-time":"2023-10-26T18:14:34Z","timestamp":1698344074000},"page":"334-347","source":"Crossref","is-referenced-by-count":14,"title":["Novel Optimized Implementations of Lightweight Cryptographic S-Boxes via SAT Solvers"],"prefix":"10.1109","volume":"71","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8109-1201","authenticated-orcid":false,"given":"Jingya","family":"Feng","sequence":"first","affiliation":[{"name":"School of Computer Science and Information Security, Guilin University of Electronic Technology, Guilin, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3371-4865","authenticated-orcid":false,"given":"Yongzhuang","family":"Wei","sequence":"additional","affiliation":[{"name":"Guangxi Key Laboratory of Cryptography and Information Security, Guilin University of Electronic Technology, Guilin, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6804-6975","authenticated-orcid":false,"given":"Fengrong","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of Cyber Engineering, Xidian University, Xi’an, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6343-8796","authenticated-orcid":false,"given":"Enes","family":"Pasalic","sequence":"additional","affiliation":[{"name":"FAMNIT, University of Primorska, Koper, Slovenia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu","family":"Zhou","sequence":"additional","affiliation":[{"name":"Science and Technology on Communication Security Laboratory, Chengdu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2021.11.011"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TCSII.2021.3136463"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TETC.2020.3027789"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.46586\/tches.v2020.i3.402-427"},{"key":"ref5","article-title":"Reducing the gate count of bitslice DES","author":"Kwan"},{"key":"ref6","article-title":"Heuristic method of finding bitsliced-description of derivative cryptographic S-box","author":"Dansarie","year":"2017"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.46586\/tosc.v2017.i4.130-168"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.46586\/tosc.v2019.i1.330-394"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SOCC46988.2019.1570548320"},{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.21203\/rs.3.rs-2727191\/v1","article-title":"A novel framework to construct quantum circuits of S-boxes: Applications to 4-bit S-boxes","author":"Jeon","year":"2023"},{"key":"ref11","article-title":"DORCIS: Depth optimized quantum implementation of substitution boxes","author":"Chun"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-018-9628-0"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-52993-5_8"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.46586\/tosc.v2020.i1.144-184"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-90567-5_8"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-92518-5_8"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10623-022-01034-2"},{"key":"ref18","article-title":"Finding desirable substitution box with SASQUATCH","author":"Wadhwa"},{"issue":"18","key":"ref19","first-page":"1","article-title":"Towards a SAT encoding for quantum circuits: A journey from classical circuits to Clifford circuits and beyond","volume-title":"Proc. 25th Int. Conf. Theory Appl. Satisfiability Testing","volume":"236","author":"Berent"},{"key":"ref20","first-page":"190","article-title":"A SAT encoding for optimal Clifford circuit synthesis","volume-title":"Proc. 28th Asia South Pacific Design Autom. Conf. (ASP-DAC)","author":"Schneider"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/QCE57702.2023.00095"},{"key":"ref22","volume-title":"ISAP 2.0","author":"Dobraunig","year":"2021"},{"key":"ref23","volume-title":"ASCON v1.2","author":"Dobraunig","year":"2021"},{"key":"ref24","volume-title":"Elephant v2","author":"Beyne","year":"2021"},{"key":"ref25","volume-title":"GIFT-COFB v1.1","author":"Banik","year":"2021"},{"key":"ref26","volume-title":"PHOTON-beetle authenticated encryption and hash family","author":"Bao","year":"2021"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.46586\/tosc.v2020.is1.60-87"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s13389-021-00272-9"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66787-4_16"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74735-2_31"},{"key":"ref31","first-page":"313","article-title":"Keccak","volume-title":"Proc. 32nd Annu. Int. Conf. Theory Appl. Cryptograph. Techn.","volume":"7881","author":"Bertoni"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23951-9_23"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21554-4_19"},{"key":"ref34","first-page":"339","article-title":"TWINE: A lightweight block cipher for multiple platforms","volume-title":"Proc. 19th Int. Conf. Sel. Areas Cryptogr. (SAC)","volume":"7707","author":"Suzaki"},{"key":"ref35","volume-title":"PR\u2205ST v1.1","author":"Kavun","year":"2014"},{"key":"ref36","volume-title":"Minalpher v1.1","author":"Sasaki","year":"2014"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-015-5459-7"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53008-5_5"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45473-X_26"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40349-1_9"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.46586\/tches.v2021.i4.510-545"},{"key":"ref42","volume-title":"PRIMATEs v1.02","author":"Andreeva","year":"2014"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.46586\/tosc.v2022.i1.158-182"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-65411-5_26"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73074-3_13"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.46586\/tosc.v2022.i3.403-447"}],"container-title":["IEEE Transactions on Circuits and Systems I: Regular Papers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8919\/10391078\/10297292.pdf?arnumber=10297292","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,18]],"date-time":"2024-01-18T01:50:05Z","timestamp":1705542605000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10297292\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1]]},"references-count":46,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tcsi.2023.3325559","relation":{},"ISSN":["1549-8328","1558-0806"],"issn-type":[{"value":"1549-8328","type":"print"},{"value":"1558-0806","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,1]]}}}