{"id":"https://openalex.org/W4403662776","doi":"https://doi.org/10.48550/arxiv.2409.07501","title":"A compact QUBO encoding of computational logic formulae demonstrated on cryptography constructions","display_name":"A compact QUBO encoding of computational logic formulae demonstrated on cryptography constructions","publication_year":2024,"publication_date":"2024-09-10","ids":{"openalex":"https://openalex.org/W4403662776","doi":"https://doi.org/10.48550/arxiv.2409.07501"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2409.07501","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2409.07501","pdf_url":"https://arxiv.org/pdf/2409.07501","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2409.07501","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5003549623","display_name":"Gregory Morse","orcid":"https://orcid.org/0000-0002-0231-6557","observed_orcids":["https://orcid.org/0000-0002-0231-6557"]},"institutions":[{"id":"https://openalex.org/I106118109","display_name":"E\u00f6tv\u00f6s Lor\u00e1nd University","ror":"https://ror.org/01jsq2704","country_code":"HU","type":"education","lineage":["https://openalex.org/I106118109"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"Morse, Gregory","raw_affiliation_strings":["Department of Programming Languages and Compilers , E\u00f6tv\u00f6s Lor\u00e1nd University , , Budapest , 1117 , Hungary","Groq Inc. , 400 Castro St Mountain View , California , 94041 , US"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Programming Languages and Compilers , E\u00f6tv\u00f6s Lor\u00e1nd University , , Budapest , 1117 , Hungary","institution_ids":["https://openalex.org/I106118109"]},{"raw_affiliation_string":"Groq Inc. , 400 Castro St Mountain View , California , 94041 , US","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009713228","display_name":"Tam\u00e1s Kozsik","orcid":"https://orcid.org/0000-0003-4484-9172","observed_orcids":["https://orcid.org/0000-0003-4484-9172"]},"institutions":[{"id":"https://openalex.org/I106118109","display_name":"E\u00f6tv\u00f6s Lor\u00e1nd University","ror":"https://ror.org/01jsq2704","country_code":"HU","type":"education","lineage":["https://openalex.org/I106118109"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"Kozsik, Tam\u00e1s","raw_affiliation_strings":["Department of Programming Languages and Compilers , E\u00f6tv\u00f6s Lor\u00e1nd University , , Budapest , 1117 , Hungary"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Programming Languages and Compilers , E\u00f6tv\u00f6s Lor\u00e1nd University , , Budapest , 1117 , Hungary","institution_ids":["https://openalex.org/I106118109"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083608463","display_name":"Oskar Mencer","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mencer, Oskar","raw_affiliation_strings":["Groq Inc. , 400 Castro St Mountain View , California , 94041 , US"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Groq Inc. , 400 Castro St Mountain View , California , 94041 , US","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006903663","display_name":"P\u00e9ter Rakyta","orcid":"https://orcid.org/0000-0002-3506-558X","observed_orcids":["https://orcid.org/0000-0002-3506-558X"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rakyta, Peter","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"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.8213000297546387,"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.8213000297546387,"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.10019999742507935,"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.019700000062584877,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/qubo-encoding","display_name":"QUBO encoding","score":0.9350000023841858},{"id":"https://openalex.org/keywords/qubo","display_name":"QUBO","score":0.9480000138282776},{"id":"https://openalex.org/keywords/integer-linear-programming","display_name":"integer linear programming","score":0.7580000162124634},{"id":"https://openalex.org/keywords/algebraic-normal-form","display_name":"algebraic normal form","score":0.8830000162124634},{"id":"https://openalex.org/keywords/disjunctive-normal-form","display_name":"disjunctive normal form","score":0.9940000176429749},{"id":"https://openalex.org/keywords/aes","display_name":"AES","score":0.503000020980835},{"id":"https://openalex.org/keywords/md5","display_name":"MD5","score":0.7820000052452087},{"id":"https://openalex.org/keywords/sha-1","display_name":"SHA-1","score":0.8410000205039978},{"id":"https://openalex.org/keywords/sha-256","display_name":"SHA-256","score":0.9990000128746033},{"id":"https://openalex.org/keywords/cryptographic-hash-functions","display_name":"cryptographic hash functions","score":0.5690000057220459},{"id":"https://openalex.org/keywords/quantum-annealing","display_name":"quantum annealing","score":0.8140000104904175},{"id":"https://openalex.org/keywords/cryptanalysis","display_name":"cryptanalysis","score":0.5759999752044678}],"concepts":[{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.7570184469223022},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.6391845941543579},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5287396907806396},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5200221538543701},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.34037792682647705},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.33753612637519836},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3360305428504944},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15415602922439575}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2409.07501","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2409.07501","pdf_url":"https://arxiv.org/pdf/2409.07501","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2409.07501","doi":"https://doi.org/10.48550/arxiv.2409.07501","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2409.07501","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2409.07501","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2409.07501","pdf_url":"https://arxiv.org/pdf/2409.07501","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4403662776.pdf","grobid_xml":"https://content.openalex.org/works/W4403662776.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4309585265","https://openalex.org/W7036951219","https://openalex.org/W4388139064","https://openalex.org/W3176314281","https://openalex.org/W6989928720","https://openalex.org/W4401895225","https://openalex.org/W4313019932","https://openalex.org/W4400641776","https://openalex.org/W2619162220","https://openalex.org/W4285229269"],"abstract_inverted_index":{"We":[0],"aim":[1],"to":[2,57,112,147],"advance":[3],"the":[4,19,24,32,78,81,86,118,123,126,130,158],"state-of-the-art":[5],"in":[6,72,143,153],"Quadratic":[7],"Unconstrained":[8],"Binary":[9],"Optimization":[10],"formulation":[11],"with":[12],"a":[13,73],"focus":[14],"on":[15],"cryptography":[16,89,135,161],"algorithms.":[17],"As":[18],"minimal":[20],"QUBO":[21,74,103,119,154],"encoding":[22],"of":[23,27,34,80,99,108,125,133,160,168,173],"linear":[25,36],"constraints":[26],"optimization":[28],"problems":[29],"emerges":[30],"as":[31],"solution":[33],"integer":[35,52],"programming":[37],"(ILP)":[38],"problems,":[39],"by":[40,106],"solving":[41],"special":[42],"boolean":[43],"logic":[44],"formulas":[45],"(like":[46],"ANF":[47],"and":[48,95,122],"DNF)":[49],"for":[50,65],"their":[51],"coefficients":[53,127],"it":[54],"is":[55],"straightforward":[56],"handle":[58],"any":[59,63],"normal":[60],"form,":[61],"or":[62,69],"substitution":[64],"multi-input":[66],"AND,":[67],"OR":[68],"XOR":[70],"operations":[71],"form.":[75],"To":[76],"showcase":[77],"efficiency":[79],"proposed":[82],"approach":[83],"we":[84,101,137],"considered":[85],"most":[87],"widespread":[88],"algorithms":[90,162],"including":[91],"AES-128/192/256,":[92],"MD5,":[93],"SHA1":[94],"SHA256.":[96],"For":[97],"each":[98],"these,":[100],"achieved":[102],"instances":[104],"reduced":[105],"thousands":[107,172],"logical":[109,174],"variables":[110],"compared":[111,146],"previously":[113],"published":[114],"results,":[115],"while":[116],"keeping":[117],"matrix":[120],"sparse":[121],"magnitude":[124],"low.":[128],"In":[129],"particular":[131],"case":[132],"AES-256":[134],"function":[136],"obtained":[138],"more":[139],"than":[140],"8x":[141],"reduction":[142,152],"variable":[144],"count":[145],"previous":[148],"results.":[149],"The":[150],"demonstrated":[151],"sizes":[155],"notably":[156],"increases":[157],"vulnerability":[159],"against":[163],"future":[164],"quantum":[165],"annealers,":[166],"capable":[167],"embedding":[169],"around":[170],"$30$":[171],"variables.":[175]},"counts_by_year":[],"updated_date":"2026-09-30T09:27:27.532063","created_date":"2024-10-23T00:00:00"}