{"id":"https://openalex.org/W4416249517","doi":"https://doi.org/10.1109/bcca66705.2025.11229704","title":"Attention-Guided SAT Solver Approach for Robust Adversarial Defense in Machine Learning","display_name":"Attention-Guided SAT Solver Approach for Robust Adversarial Defense in Machine Learning","publication_year":2025,"publication_date":"2025-10-14","ids":{"openalex":"https://openalex.org/W4416249517","doi":"https://doi.org/10.1109/bcca66705.2025.11229704"},"language":null,"primary_location":{"id":"doi:10.1109/bcca66705.2025.11229704","is_oa":false,"landing_page_url":"https://doi.org/10.1109/bcca66705.2025.11229704","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 7th International Conference on Blockchain Computing and Applications (BCCA)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5103837426","display_name":"Muhammad Zia Ur Rehman","orcid":null},"institutions":[{"id":"https://openalex.org/I31419693","display_name":"Kyungpook National University","ror":"https://ror.org/040c17130","country_code":"KR","type":"education","lineage":["https://openalex.org/I31419693"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Muhammad Zia Ur Rehman","raw_affiliation_strings":["Kyungpook National University,School of Computer Science and Engineering,Daegu,South Korea,41566"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Kyungpook National University,School of Computer Science and Engineering,Daegu,South Korea,41566","institution_ids":["https://openalex.org/I31419693"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073336149","display_name":"Murad Khan","orcid":"https://orcid.org/0000-0001-9905-8904"},"institutions":[{"id":"https://openalex.org/I4210111408","display_name":"Kuwait College of Science and Technology","ror":"https://ror.org/01vjvsj67","country_code":"KW","type":"education","lineage":["https://openalex.org/I4210111408"]}],"countries":["KW"],"is_corresponding":false,"raw_author_name":"Murad Khan","raw_affiliation_strings":["Kuwait College of Science and Technology,Department of Computer Science and Engineering,Kuwait City,Kuwait,35001"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Kuwait College of Science and Technology,Department of Computer Science and Engineering,Kuwait City,Kuwait,35001","institution_ids":["https://openalex.org/I4210111408"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.32069048,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"912","last_page":"918"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9941999912261963,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9941999912261963,"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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.0010000000474974513,"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/T10883","display_name":"Ethics and Social Impacts of AI","score":0.000699999975040555,"subfield":{"id":"https://openalex.org/subfields/3311","display_name":"Safety Research"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/adversarial-system","display_name":"Adversarial system","score":0.9445000290870667},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.7807000279426575},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.7379000186920166},{"id":"https://openalex.org/keywords/mnist-database","display_name":"MNIST database","score":0.7102000117301941},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.5540000200271606},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.5332000255584717},{"id":"https://openalex.org/keywords/bottleneck","display_name":"Bottleneck","score":0.4320000112056732}],"concepts":[{"id":"https://openalex.org/C37736160","wikidata":"https://www.wikidata.org/wiki/Q1801315","display_name":"Adversarial system","level":2,"score":0.9445000290870667},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.7807000279426575},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7450000047683716},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.7379000186920166},{"id":"https://openalex.org/C190502265","wikidata":"https://www.wikidata.org/wiki/Q17069496","display_name":"MNIST database","level":3,"score":0.7102000117301941},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.6805999875068665},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.6557999849319458},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.5540000200271606},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.5332000255584717},{"id":"https://openalex.org/C2780513914","wikidata":"https://www.wikidata.org/wiki/Q18210350","display_name":"Bottleneck","level":2,"score":0.4320000112056732},{"id":"https://openalex.org/C2984842247","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep neural networks","level":3,"score":0.42640000581741333},{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.41990000009536743},{"id":"https://openalex.org/C3019612716","wikidata":"https://www.wikidata.org/wiki/Q730920","display_name":"Problem solver","level":2,"score":0.3885999917984009},{"id":"https://openalex.org/C2778403875","wikidata":"https://www.wikidata.org/wiki/Q20312394","display_name":"Adversarial machine learning","level":3,"score":0.385699987411499},{"id":"https://openalex.org/C177918212","wikidata":"https://www.wikidata.org/wiki/Q803623","display_name":"Perturbation (astronomy)","level":2,"score":0.38510000705718994},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.35989999771118164},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.3025999963283539},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.25920000672340393},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2529999911785126},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.2517000138759613}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/bcca66705.2025.11229704","is_oa":false,"landing_page_url":"https://doi.org/10.1109/bcca66705.2025.11229704","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 7th International Conference on Blockchain Computing and Applications (BCCA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1488996941","https://openalex.org/W1915485278","https://openalex.org/W1976919795","https://openalex.org/W2038296020","https://openalex.org/W2051267297","https://openalex.org/W2101577935","https://openalex.org/W2151704521","https://openalex.org/W2183341477","https://openalex.org/W2194775991","https://openalex.org/W2414287720","https://openalex.org/W2533393700","https://openalex.org/W2543927648","https://openalex.org/W2574797807","https://openalex.org/W2701082322","https://openalex.org/W2819089364","https://openalex.org/W2963857521","https://openalex.org/W3008276149","https://openalex.org/W3034175346","https://openalex.org/W6922480057"],"related_works":[],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3],"propose":[4],"a":[5,51,148],"novel":[6],"method":[7,146],"for":[8,151],"crafting":[9,152],"adversarial":[10,23,115,153,165,181],"examples":[11,26,116],"that":[12,32,133],"aims":[13],"to":[14,59,74,156,172],"enhance":[15],"the":[16,61,99,103,107,126,157,174,185],"robustness":[17],"of":[18,63,159,176,189],"machine":[19,161,190],"learning":[20,162,191],"systems":[21],"against":[22,164],"attacks.":[24],"Adversarial":[25],"are":[27,67],"inputs":[28],"with":[29,117],"imperceptible":[30],"perturbations":[31,84],"exploit":[33],"vulnerabilities":[34],"in":[35,38,45,113,138,179],"models,":[36],"resulting":[37,112],"incorrect":[39],"outputs":[40],"and":[41,54,91,128,131,142,170,183,187],"posing":[42],"significant":[43],"challenges":[44],"various":[46],"applications.":[47],"Our":[48,145],"approach":[49,124,178],"integrates":[50],"SAT":[52,78],"solver":[53,79],"an":[55],"attention-based":[56,95],"neural":[57,96],"network":[58,97],"address":[60],"limitations":[62],"existing":[64],"techniques,":[65],"which":[66],"often":[68],"computationally":[69],"expensive":[70],"or":[71],"require":[72],"access":[73],"model":[75],"internals.":[76],"The":[77,94],"efficiently":[80],"identifies":[81],"optimal":[82],"input":[83,110],"while":[85],"satisfying":[86],"constraints":[87],"on":[88,125],"perturbation":[89,104,119,143],"magnitude":[90],"human":[92],"discernibility.":[93],"calculates":[98],"saliency":[100],"map,":[101],"guiding":[102],"process":[105],"towards":[106],"most":[108],"relevant":[109],"regions,":[111],"potent":[114],"minimal":[118],"sizes.":[120],"We":[121,167],"evaluate":[122],"our":[123,177],"MNIST":[127],"CIFAR-10":[129],"datasets":[130],"show":[132],"it":[134],"outperforms":[135],"state-of-the-art":[136],"techniques":[137],"both":[139],"success":[140],"rate":[141],"size.":[144],"offers":[147],"comprehensive":[149],"solution":[150],"examples,":[154],"contributing":[155],"advancement":[158],"robust":[160],"models":[163],"threats.":[166],"invite":[168],"researchers":[169],"practitioners":[171],"explore":[173],"potential":[175],"mitigating":[180],"attacks":[182],"enhancing":[184],"security":[186],"reliability":[188],"systems.":[192]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-11-14T00:00:00"}