{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T08:02:54Z","timestamp":1763193774594,"version":"3.45.0"},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T00:00:00Z","timestamp":1760400000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T00:00:00Z","timestamp":1760400000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,10,14]]},"DOI":"10.1109\/bcca66705.2025.11229704","type":"proceedings-article","created":{"date-parts":[[2025,11,14]],"date-time":"2025-11-14T18:46:17Z","timestamp":1763145977000},"page":"912-918","source":"Crossref","is-referenced-by-count":0,"title":["Attention-Guided SAT Solver Approach for Robust Adversarial Defense in Machine Learning"],"prefix":"10.1109","author":[{"given":"Muhammad Zia Ur","family":"Rehman","sequence":"first","affiliation":[{"name":"Kyungpook National University,School of Computer Science and Engineering,Daegu,South Korea,41566"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Murad","family":"Khan","sequence":"additional","affiliation":[{"name":"Kuwait College of Science and Technology,Department of Computer Science and Engineering,Kuwait City,Kuwait,35001"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.90"},{"key":"ref2","article-title":"Achieving human parity in conversational speech recognition","author":"Xiong","year":"2016","journal-title":"arXiv preprint arXiv:1610.05256"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.13140\/RG.2.2.18893.74727"},{"key":"ref4","article-title":"End to end learning for self-driving cars","author":"Bojarski","year":"2016","journal-title":"arXiv preprint arXiv:1604.07316"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1036\/1097-8542.613920"},{"article-title":"Report on autonomous mode disengagements for waymo selfdriving vehicles in california","year":"2017","author":"Aoki","key":"ref6"},{"key":"ref7","article-title":"The challenge of verification and testing of machine learning","author":"Goodfellow","year":"2017","journal-title":"Cleverhans-blog"},{"key":"ref8","article-title":"Adversarial perturbations against deep neural networks for malware classification","author":"Grosse","year":"2016","journal-title":"arXiv preprint arXiv:1606.04435"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.20"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2016.23115"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2015.7299155"},{"key":"ref12","first-page":"854","article-title":"Parseval networks: Improving robustness to adversarial examples","volume-title":"International Conference on Machine Learning","author":"Cisse"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR42600.2020.00871"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908095"},{"issue":"1","key":"ref15","first-page":"100","article-title":"Differential testing for software","volume":"10","author":"McKeeman","year":"1998","journal-title":"Digital Technical Journal"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.15"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.27"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.68"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1455770.1455806"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978383"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.35"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813677"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.308"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/SSCI44817.2019.9002856"},{"key":"ref25","article-title":"Maximal jacobian-based saliency map attack","author":"Wiyatno","year":"2018","journal-title":"arXiv preprint arXiv:1808.07945"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.49"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2017.17"},{"key":"ref28","article-title":"Towards deep learning models resistant to adversarial attacks","author":"Madry","year":"2017","journal-title":"arXiv preprint arXiv:1706.06083"}],"event":{"name":"2025 7th International Conference on Blockchain Computing and Applications (BCCA)","start":{"date-parts":[[2025,10,14]]},"location":"Durbovnic, Croatia","end":{"date-parts":[[2025,10,17]]}},"container-title":["2025 7th International Conference on Blockchain Computing and Applications (BCCA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11229428\/11227167\/11229704.pdf?arnumber=11229704","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T07:58:49Z","timestamp":1763193529000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11229704\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,14]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/bcca66705.2025.11229704","relation":{},"subject":[],"published":{"date-parts":[[2025,10,14]]}}}