{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T04:37:46Z","timestamp":1769661466632,"version":"3.49.0"},"reference-count":23,"publisher":"Oxford University Press (OUP)","issue":"1","license":[{"start":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T00:00:00Z","timestamp":1769558400000},"content-version":"vor","delay-in-days":1,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,1,27]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>This paper describes a novel library implementation for quantum simulation of typical Boolean circuits and several encryption systems. The tool contains half and full adders, binary encoder ($2^{n}$ to $n$), binary decoder ($n$ to $2^{n}$), and multiplexer, as well as its development details accompanied by graphics generated by the software itself. These tools are essential for the implementation of several classical and current ciphers. In addition, studies of optimizations for the quantum paradigm of symmetric encryption systems of different types, such as substitution or permutation ciphers and a simplified version of AES (S-AES), are included. This approach allows a simple and intuitive understanding of the quantum equivalent circuits to the fundamentals of digital electronics and logic design, providing an innovative and pedagogical tool that allows the quantum implementation of classic circuits for real applications including complex encryption systems, starting from previously defined algorithms.<\/jats:p>","DOI":"10.1093\/jigpal\/jzaf019","type":"journal-article","created":{"date-parts":[[2025,4,24]],"date-time":"2025-04-24T06:42:48Z","timestamp":1745476968000},"source":"Crossref","is-referenced-by-count":0,"title":["Quantum simulation of Boolean logic, digital circuits, and cryptographic schemes"],"prefix":"10.1093","volume":"34","author":[{"given":"Daniel","family":"Escanez-Exposito","sequence":"first","affiliation":[{"name":"Department of Computer Engineering and Systems , University of La Laguna, 38200, Tenerife, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pino","family":"Caballero-Gil","sequence":"additional","affiliation":[{"name":"Department of Computer Engineering and Systems , University of La Laguna, 38200, Tenerife, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2026,1,28]]},"reference":[{"key":"2026012811024377300_ref1","first-page":"204","article-title":"Quantum grover attack on the simplified-aes","volume-title":"7th International Conference on Software and Computer Applications","author":"Almazrooie","year":"2018"},{"key":"2026012811024377300_ref2","article-title":"La cifra del sig. Giovan Battista Belaso, Gentil\u2019huomo bresciano, nuovamente da lui medesimo ridotta \u00e0 grandissima breuit\u00e0 & perfettione","author":"Bellaso","year":"1553"},{"key":"2026012811024377300_ref3","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1147\/rd.176.0525","article-title":"Logical reversibility of computation","volume":"17","author":"Bennett","year":"1973","journal-title":"IBM J Res Dev"},{"key":"2026012811024377300_ref4","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1080\/01611194.2012.660236","article-title":"Linear cryptanalysis of simplified AES under change of s-box","volume":"37","author":"Campbell","year":"2013","journal-title":"Cryptologia"},{"key":"2026012811024377300_ref5","article-title":"GitHub QuantumSolver repository","author":"Escanez-Exposito","year":"2022"},{"key":"2026012811024377300_ref6","first-page":"101","article-title":"QuantumSolver Composer: Automatic Quantum Transformation of Classical Circuits","volume-title":"Computational Intelligence in Security for Information Systems Conference","author":"Escanez-Exposito","year":"2023"},{"key":"2026012811024377300_ref7","article-title":"QuantumSolver: a quantum tool-set for developers","author":"Escanez-Exposito","year":"2022","journal-title":"The 2022 World Congress in Computer Science, Computer Engineering, and Applied Computing"},{"key":"2026012811024377300_ref8","first-page":"965","article-title":"Study and implementation of an interactive simulation of quantum key distribution using the E91 cryptographic protocol","volume-title":"Proceedings of the International Conference on Ubiquitous Computing & Ambient Intelligence","author":"Escanez-Exposito","year":"2022"},{"key":"2026012811024377300_ref9","doi-asserted-by":"publisher","first-page":"3781","DOI":"10.1007\/s11276-023-03438-x","article-title":"Interactive simulation of quantum key distribution protocols and application in wi-fi networks","volume":"29","author":"Escanez-Exposito D","year":"2023","journal-title":"Wirel Netw"},{"key":"2026012811024377300_ref10","doi-asserted-by":"publisher","first-page":"1652","DOI":"10.1109\/TCAD.2005.858352","article-title":"Optimal synthesis of multiple output boolean functions using a set of quantum gates by symbolic reachability analysis","volume":"25","author":"Hung","year":"2006","journal-title":"IEEE Trans Comput-Aided Des Integr Circuit Syst"},{"key":"2026012811024377300_ref11","first-page":"1","article-title":"Grover on simplified AES","author":"Jang","year":"2021","journal-title":"IEEE Int Conf Consumer Electron Asia"},{"key":"2026012811024377300_ref12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/ICCCI.2012.6158883","article-title":"Design of fault tolearnt full adder\/subtarctor using reversible gates","volume-title":"2012 International Conference on Computer Communication and Informatics","author":"Kaur","year":"2012"},{"key":"2026012811024377300_ref13","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1080\/0161-110391891838","article-title":"A simplified AES algorithm and its linear and differential cryptanalyses","volume":"27","author":"Musa","year":"2003","journal-title":"Cryptologia"},{"key":"2026012811024377300_ref14","first-page":"1","article-title":"Classical and quantum logic gates: an introduction to quantum computing. Quantum information seminar","author":"Muthukrishnan","year":"1999","journal-title":"Rochester Center for Quantum Information (RCQI)"},{"key":"2026012811024377300_ref15","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/978-3-319-19644-2_15","article-title":"Cryptanalysis of simplified-AES using intelligent agent","volume-title":"Hybrid Artificial Intelligent Systems: 10th International Conference","author":"Saeed","year":"2015"},{"key":"2026012811024377300_ref16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/C2SPCA.2013.6749357","article-title":"Design of low logical cost adders using novel parity conserving toffoli gate","volume-title":"2013 International Conference on Emerging Trends in Communication, Control, Signal Processing and Computing Applications (C2SPCA)","author":"Saligram","year":"2013"},{"key":"2026012811024377300_ref17","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1109\/ICICS.2018.00027","article-title":"Quantum gate implementation of a novel reversible half adder and subtractor circuit","volume-title":"2018 International Conference on Intelligent Circuits and Systems (ICICS)","author":"Sarma","year":"2018"},{"key":"2026012811024377300_ref18","doi-asserted-by":"publisher","first-page":"656","DOI":"10.1002\/j.1538-7305.1949.tb00928.x","article-title":"Communication theory of secrecy systems","volume":"28","author":"Shannon","year":"1949","journal-title":"Bell Syst Tech J"},{"key":"2026012811024377300_ref19","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1002\/j.1538-7305.1948.tb01338.x","article-title":"A mathematical theory of communication","volume":"27","author":"Shannon","year":"1948","journal-title":"Bell Syst Tech J"},{"key":"2026012811024377300_ref20","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1080\/01611190903185328","article-title":"Algebraic cryptanalysis of simplified AES","volume":"33","author":"Simmons","year":"2009","journal-title":"Cryptologia"},{"key":"2026012811024377300_ref21","first-page":"1557","article-title":"Implementation of reversible logic gates with quantum gates","volume-title":"IEEE 11th Annual Computing and Communication Workshop and Conference","author":"Swathi","year":"2021"},{"key":"2026012811024377300_ref22","article-title":"Secret signaling system","author":"Vernam"},{"key":"2026012811024377300_ref23","doi-asserted-by":"crossref","first-page":"3793","DOI":"10.1093\/ietfec\/e91-a.12.3793","article-title":"Ddmf: an efficient decision diagram structure for design verification of quantum circuits under a practical restriction","volume":"91","author":"Yamashita","year":"2008","journal-title":"IEICE Trans Fundam Electron Commun Comput Sci"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/34\/1\/jzaf019\/66611778\/jzaf019.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/34\/1\/jzaf019\/66611778\/jzaf019.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T16:05:53Z","timestamp":1769616353000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/doi\/10.1093\/jigpal\/jzaf019\/8443240"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,1,27]]},"references-count":23,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2026,1,27]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzaf019","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2026,2]]},"published":{"date-parts":[[2026,1,27]]},"article-number":"jzaf019"}}