{"id":"https://openalex.org/W7126057704","doi":"https://doi.org/10.1093/jigpal/jzaf019","title":"Quantum simulation of Boolean logic, digital circuits, and cryptographic schemes","display_name":"Quantum simulation of Boolean logic, digital circuits, and cryptographic schemes","publication_year":2025,"publication_date":"2025-04-24","ids":{"openalex":"https://openalex.org/W7126057704","doi":"https://doi.org/10.1093/jigpal/jzaf019"},"language":"en","primary_location":{"id":"doi:10.1093/jigpal/jzaf019","is_oa":true,"landing_page_url":"https://doi.org/10.1093/jigpal/jzaf019","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic Journal of the IGPL","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1093/jigpal/jzaf019","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060557285","display_name":"Daniel Esc\u00e1nez-Exp\u00f3sito","orcid":"https://orcid.org/0000-0003-4215-0501"},"institutions":[{"id":"https://openalex.org/I158438070","display_name":"Universidad de La Laguna","ror":"https://ror.org/01r9z8p25","country_code":"ES","type":"education","lineage":["https://openalex.org/I158438070"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Daniel Escanez-Exposito","raw_affiliation_strings":["Department of Computer Engineering and Systems , University of La Laguna, 38200, Tenerife, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering and Systems , University of La Laguna, 38200, Tenerife, Spain","institution_ids":["https://openalex.org/I158438070"]}]},{"author_position":"last","author":{"id":null,"display_name":"Pino Caballero-Gil","orcid":null},"institutions":[{"id":"https://openalex.org/I158438070","display_name":"Universidad de La Laguna","ror":"https://ror.org/01r9z8p25","country_code":"ES","type":"education","lineage":["https://openalex.org/I158438070"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Pino Caballero-Gil","raw_affiliation_strings":["Department of Computer Engineering and Systems , University of La Laguna, 38200, Tenerife, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering and Systems , University of La Laguna, 38200, Tenerife, Spain","institution_ids":["https://openalex.org/I158438070"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":{"value":4151,"currency":"USD","value_usd":4151},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.80592738,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"34","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.8813999891281128,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.8813999891281128,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11130","display_name":"Coding theory and cryptography","score":0.03799999877810478,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13182","display_name":"Quantum-Dot Cellular Automata","score":0.014100000262260437,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.4659000039100647},{"id":"https://openalex.org/keywords/encryption","display_name":"Encryption","score":0.4507000148296356},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.43700000643730164},{"id":"https://openalex.org/keywords/digital-electronics","display_name":"Digital electronics","score":0.42899999022483826},{"id":"https://openalex.org/keywords/binary-decision-diagram","display_name":"Binary decision diagram","score":0.41990000009536743},{"id":"https://openalex.org/keywords/boolean-circuit","display_name":"Boolean circuit","score":0.41519999504089355},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.3905999958515167},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.375},{"id":"https://openalex.org/keywords/and-inverter-graph","display_name":"And-inverter graph","score":0.35510000586509705}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6895999908447266},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.590399980545044},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.4659000039100647},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.4507000148296356},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.43700000643730164},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.43369999527931213},{"id":"https://openalex.org/C81843906","wikidata":"https://www.wikidata.org/wiki/Q173156","display_name":"Digital electronics","level":3,"score":0.42899999022483826},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.41990000009536743},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.41519999504089355},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.3905999958515167},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.375},{"id":"https://openalex.org/C196836630","wikidata":"https://www.wikidata.org/wiki/Q4753279","display_name":"And-inverter graph","level":4,"score":0.35510000586509705},{"id":"https://openalex.org/C21308566","wikidata":"https://www.wikidata.org/wiki/Q7169365","display_name":"Permutation (music)","level":2,"score":0.3443000018596649},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.3391999900341034},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33820000290870667},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.33820000290870667},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.3271999955177307},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.3199999928474426},{"id":"https://openalex.org/C118505674","wikidata":"https://www.wikidata.org/wiki/Q42586063","display_name":"Encoder","level":2,"score":0.31220000982284546},{"id":"https://openalex.org/C96654402","wikidata":"https://www.wikidata.org/wiki/Q5469962","display_name":"Formal equivalence checking","level":3,"score":0.3077000081539154},{"id":"https://openalex.org/C58849907","wikidata":"https://www.wikidata.org/wiki/Q2118982","display_name":"Quantum gate","level":4,"score":0.2996000051498413},{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.29899999499320984},{"id":"https://openalex.org/C15927051","wikidata":"https://www.wikidata.org/wiki/Q246593","display_name":"Cryptographic primitive","level":4,"score":0.28790000081062317},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.28029999136924744},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.27869999408721924},{"id":"https://openalex.org/C92950451","wikidata":"https://www.wikidata.org/wiki/Q864718","display_name":"Stream cipher","level":3,"score":0.26969999074935913},{"id":"https://openalex.org/C2983609787","wikidata":"https://www.wikidata.org/wiki/Q10534782","display_name":"Software implementation","level":3,"score":0.2651999890804291},{"id":"https://openalex.org/C21442007","wikidata":"https://www.wikidata.org/wiki/Q1027879","display_name":"Graphics","level":2,"score":0.25}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/jigpal/jzaf019","is_oa":true,"landing_page_url":"https://doi.org/10.1093/jigpal/jzaf019","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic Journal of the IGPL","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1093/jigpal/jzaf019","is_oa":true,"landing_page_url":"https://doi.org/10.1093/jigpal/jzaf019","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic Journal of the IGPL","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.4513317346572876,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1127955863","https://openalex.org/W1992471085","https://openalex.org/W1995875735","https://openalex.org/W2033210979","https://openalex.org/W2048683831","https://openalex.org/W2058225417","https://openalex.org/W2091638060","https://openalex.org/W2093538406","https://openalex.org/W2105259569","https://openalex.org/W2109394932","https://openalex.org/W2144272791","https://openalex.org/W2895727152","https://openalex.org/W4384204645"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"This":[1,96],"paper":[2],"describes":[3],"a":[4,88,99],"novel":[5],"library":[6],"implementation":[7,58,128],"for":[8,56,70,132],"quantum":[9,72,106,127],"simulation":[10],"of":[11,59,68,74,78,91,104,112,129],"typical":[12],"Boolean":[13],"circuits":[14,108,131],"and":[15,23,36,62,87,101,115,121],"several":[16,60],"encryption":[17,76,137],"systems.":[18],"The":[19],"tool":[20,123],"contains":[21],"half":[22],"full":[24],"adders,":[25],"binary":[26,31],"encoder":[27],"($2^{n}$":[28],"to":[29,34,109],"$n$),":[30],"decoder":[32],"($n$":[33],"$2^{n}$),":[35],"multiplexer,":[37],"as":[38,40,82],"well":[39],"its":[41],"development":[42],"details":[43],"accompanied":[44],"by":[45,48],"graphics":[46],"generated":[47],"the":[49,57,71,105,110,126],"software":[50],"itself.":[51],"These":[52],"tools":[53],"are":[54,94],"essential":[55],"classical":[61],"current":[63],"ciphers.":[64],"In":[65],"addition,":[66],"studies":[67],"optimizations":[69],"paradigm":[73],"symmetric":[75],"systems":[77],"different":[79],"types,":[80],"such":[81],"substitution":[83],"or":[84],"permutation":[85],"ciphers":[86],"simplified":[89],"version":[90],"AES":[92],"(S-AES),":[93],"included.":[95],"approach":[97],"allows":[98,125],"simple":[100],"intuitive":[102],"understanding":[103],"equivalent":[107],"fundamentals":[111],"digital":[113],"electronics":[114],"logic":[116],"design,":[117],"providing":[118],"an":[119],"innovative":[120],"pedagogical":[122],"that":[124],"classic":[130],"real":[133],"applications":[134],"including":[135],"complex":[136],"systems,":[138],"starting":[139],"from":[140],"previously":[141],"defined":[142],"algorithms.":[143]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-01-30T00:00:00"}