{"id":"https://openalex.org/W4413979770","doi":"https://doi.org/10.1109/tr.2025.3600445","title":"Secure Outsourcing Scheme for Boolean Formulas Truth Assignment Problem","display_name":"Secure Outsourcing Scheme for Boolean Formulas Truth Assignment Problem","publication_year":2025,"publication_date":"2025-09-04","ids":{"openalex":"https://openalex.org/W4413979770","doi":"https://doi.org/10.1109/tr.2025.3600445"},"language":"en","primary_location":{"id":"doi:10.1109/tr.2025.3600445","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tr.2025.3600445","pdf_url":null,"source":{"id":"https://openalex.org/S87725633","display_name":"IEEE Transactions on Reliability","issn_l":"0018-9529","issn":["0018-9529","1558-1721"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Reliability","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5028729530","display_name":"Albert Guan","orcid":null},"institutions":[{"id":"https://openalex.org/I134161618","display_name":"National Taiwan Normal University","ror":"https://ror.org/059dkdx38","country_code":"TW","type":"education","lineage":["https://openalex.org/I134161618"]}],"countries":["TW"],"is_corresponding":true,"raw_author_name":"Albert Guan","raw_affiliation_strings":["Department of Computer Science, Information Engineering, National Taiwan Normal University, Taipei, Taiwan"],"raw_orcid":"https://orcid.org/0000-0003-0673-1632","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Information Engineering, National Taiwan Normal University, Taipei, Taiwan","institution_ids":["https://openalex.org/I134161618"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5028729530"],"corresponding_institution_ids":["https://openalex.org/I134161618"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.21326928,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"74","issue":"4","first_page":"5095","last_page":"5103"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.7792999744415283,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.7792999744415283,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10986","display_name":"RFID technology advancements","score":0.7791000008583069,"subfield":{"id":"https://openalex.org/subfields/2214","display_name":"Media Technology"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.7700999975204468,"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/outsourcing","display_name":"Outsourcing","score":0.6559264063835144},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.6449958682060242},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5670316815376282},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.5216619968414307},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4958125054836273},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.46021735668182373},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.36501404643058777},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3268360197544098},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3126288056373596}],"concepts":[{"id":"https://openalex.org/C46934059","wikidata":"https://www.wikidata.org/wiki/Q61515","display_name":"Outsourcing","level":2,"score":0.6559264063835144},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.6449958682060242},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5670316815376282},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.5216619968414307},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4958125054836273},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.46021735668182373},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.36501404643058777},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3268360197544098},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3126288056373596},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tr.2025.3600445","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tr.2025.3600445","pdf_url":null,"source":{"id":"https://openalex.org/S87725633","display_name":"IEEE Transactions on Reliability","issn_l":"0018-9529","issn":["0018-9529","1558-1721"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Reliability","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6911222670","display_name":null,"funder_award_id":"107-2218-E-110-017-MY3","funder_id":"https://openalex.org/F4320322108","funder_display_name":"Ministry of Science and Technology"}],"funders":[{"id":"https://openalex.org/F4320322108","display_name":"Ministry of Science and Technology","ror":"https://ror.org/032e49973"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W1496529478","https://openalex.org/W1546943373","https://openalex.org/W1547671177","https://openalex.org/W1564691070","https://openalex.org/W1569499052","https://openalex.org/W1571821840","https://openalex.org/W1975199330","https://openalex.org/W1994866276","https://openalex.org/W2076169792","https://openalex.org/W2132220327","https://openalex.org/W2133527541","https://openalex.org/W2145166073","https://openalex.org/W2155151982","https://openalex.org/W2170444562","https://openalex.org/W2293228899","https://openalex.org/W2620600500","https://openalex.org/W2924040757","https://openalex.org/W2968514955","https://openalex.org/W4231018896","https://openalex.org/W4252614677","https://openalex.org/W4320153482","https://openalex.org/W4399120089"],"related_works":["https://openalex.org/W2058288504","https://openalex.org/W4252281389","https://openalex.org/W2107037376","https://openalex.org/W2109998394","https://openalex.org/W1976822807","https://openalex.org/W1991822629","https://openalex.org/W1996276855","https://openalex.org/W2544851091","https://openalex.org/W2050201153","https://openalex.org/W2142114659"],"abstract_inverted_index":{"The":[0,62],"Boolean":[1,44,57,102,147],"formula":[2,45,78,173],"satisfiability":[3],"problem":[4,187],"(SAT)":[5],"plays":[6],"a":[7,38,48],"fundamental":[8],"role":[9],"in":[10,69,140,186],"many":[11],"practical":[12,190],"applications,":[13],"but":[14],"is":[15,85,192],"computationally":[16],"challenging":[17],"due":[18],"to":[19,31,124,146,156],"its":[20,70],"NP-hard":[21],"nature.":[22],"Leveraging":[23],"cloud":[24,142],"computing":[25],"has":[26],"become":[27],"an":[28,86,126],"effective":[29],"way":[30],"address":[32],"larger-scale":[33],"instances.":[34],"This":[35,84],"article":[36],"proposes":[37],"secure":[39],"outsourcing":[40],"framework":[41],"for":[42,149],"solving":[43],"SAT,":[46],"with":[47,174],"focus":[49],"on":[50],"preserving":[51],"the":[52,56,76,109,141,175,180],"confidentiality":[53],"of":[54,65,106],"both":[55],"formulas":[58,90,103],"and":[59],"their":[60],"solutions.":[61],"core":[63],"innovation":[64],"our":[66,159],"scheme":[67,160],"lies":[68],"robust":[71],"obfuscation":[72],"technique,":[73],"which":[74,117],"prevents":[75],"original":[77],"from":[79,171],"being":[80],"exposed":[81],"during":[82],"outsourcing.":[83],"essential":[87],"property":[88],"when":[89],"encode":[91],"sensitive":[92],"designs,":[93],"such":[94],"as":[95],"advanced":[96],"digital":[97],"circuits.":[98],"Our":[99],"approach":[100],"transforms":[101],"into":[104],"systems":[105,131],"equations":[107],"over":[108],"finite":[110],"field":[111],"<inline-formula":[112],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[113],"xmlns:xlink=\"http://www.w3.org/1999/xlink\"><tex-math":[114],"notation=\"LaTeX\">$\\mathbf":[115],"{GF}(2)$</tex-math></inline-formula>,":[116],"are":[118,169],"then":[119],"modified":[120],"through":[121],"arithmetic":[122],"operations":[123],"generate":[125],"obfuscated":[127,166],"equivalent.":[128],"These":[129],"transformed":[130],"can":[132],"be":[133],"solved":[134],"either":[135],"by":[136,144,151,164],"applying":[137],"linearization":[138],"techniques":[139],"or":[143],"reverting":[145],"form":[148],"processing":[150],"specialized":[152],"SAT":[153],"solvers.":[154],"Compared":[155],"existing":[157],"methods,":[158],"offers":[161],"enhanced":[162],"protection":[163],"generating":[165],"instances":[167],"that":[168],"indistinguishable":[170],"any":[172],"same":[176],"solution":[177],"space.":[178],"Moreover,":[179],"transformation":[181],"incurs":[182],"only":[183],"linear":[184],"growth":[185],"size,":[188],"ensuring":[189],"efficiency":[191],"maintained.":[193]},"counts_by_year":[],"updated_date":"2025-12-03T23:09:05.601824","created_date":"2025-10-10T00:00:00"}