{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T21:24:12Z","timestamp":1777411452852,"version":"3.51.4"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T00:00:00Z","timestamp":1777334400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T00:00:00Z","timestamp":1777334400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Knowl Inf Syst"],"published-print":{"date-parts":[[2026,12]]},"DOI":"10.1007\/s10115-026-02740-2","type":"journal-article","created":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T10:48:08Z","timestamp":1777373288000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A trust-aware federated autoencoder framework for adversarial robust learning with abstract interpretation"],"prefix":"10.1007","volume":"68","author":[{"given":"Anil Kumar","family":"Singh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abhishek","family":"Singh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manish","family":"Gaur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manik","family":"Chandra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,4,28]]},"reference":[{"key":"2740_CR1","doi-asserted-by":"publisher","first-page":"33401","DOI":"10.1109\/ACCESS.2023.3263145","volume":"11","author":"O Mellouki","year":"2023","unstructured":"Mellouki O, Khedher MI, El-yacoubi MA (2023) Abstract layer for leakyReLU for neural network verification based on abstract interpretation. IEEE Access 11:33401\u201333413","journal-title":"IEEE Access"},{"issue":"5","key":"2740_CR2","first-page":"1","volume":"33","author":"J Liu","year":"2024","unstructured":"Liu J, Xing Y, Shi X, Song F, Xu Z, Ming Z (2024) Abstraction and refinement: towards scalable and exact verification of neural networks. ACM Trans Softw Eng Methodol 33(5):1\u201335","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"2740_CR3","unstructured":"Boudardara F, Boussif A, Meyer PJ, Ghazel M (2023) INNAbstract: An INN-based abstraction method for large-scale neural network verification. IEEE Transactions on Neural Networks and Learning Systems, pp. 1\u201315, 2023."},{"issue":"5","key":"2740_CR4","doi-asserted-by":"publisher","first-page":"1464","DOI":"10.1049\/ipr2.12727","volume":"17","author":"D Yang","year":"2023","unstructured":"Yang D, Chen W, Wei S (2023) DTFA: adversarial attack with discrete cosine transform noise and target features on deep neural networks. IET Image Process 17(5):1464\u20131477","journal-title":"IET Image Process"},{"issue":"no.24","key":"2740_CR5","doi-asserted-by":"publisher","first-page":"17689","DOI":"10.1007\/s00521-023-08639-1","volume":"vol.35","author":"M Mziou-Sallami","year":"2023","unstructured":"Mziou-Sallami M, Khalsi R, Smati I, Mhiri S, Ghorbel F (2023) DeepGCSS: a robust and explainable contour classifier providing generalized curvature scale space features. Neural Comput Appl vol.35(no.24):17689\u201317700","journal-title":"Neural Comput Appl"},{"key":"2740_CR6","doi-asserted-by":"crossref","unstructured":"Li L, Xie T, Li B (2023) Sok: Certified robustness for deep neural networks. In: Proceedings of 2023 IEEE symposium on security and privacy (SP), IEEE, pp. 1289\u20131310, 2023.","DOI":"10.1109\/SP46215.2023.10179303"},{"key":"2740_CR7","doi-asserted-by":"crossref","unstructured":"Banerjee D, Xu C, Singh G (2024) Scalable relational verification and training for deep neural networks. In: Proceedings of international conference on computer aided verification","DOI":"10.1145\/3656377"},{"key":"2740_CR8","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2024.103710","volume":"vol.140","author":"Z Chen","year":"2024","unstructured":"Chen Z, Wang R, Xiang J, Yu Y, Xia X, Ji S, Xuan Q, Yang X (2024) GGT: graph-guided testing for adversarial sample detection of deep neural network. Comput Secur vol.140:103710","journal-title":"Comput Secur"},{"key":"2740_CR9","doi-asserted-by":"publisher","first-page":"61113","DOI":"10.1109\/ACCESS.2024.3395118","volume":"12","author":"JC Costa","year":"2024","unstructured":"Costa JC, Roxo T, Proen\u00e7a H, Inacio PRM (2024) How deep learning sees the world: a survey on adversarial attacks & defenses. IEEE Access 12:61113\u201361136","journal-title":"IEEE Access"},{"key":"2740_CR10","doi-asserted-by":"crossref","unstructured":"Gehr T, Mirman M, Drachsler-Cohen D, Tsankov P, Chaudhuri S, Vechev M, Ai2: Safety and robustness certification of neural networks with abstract interpretation. In: Proceedings of 2018 IEEE symposium on security and privacy (SP), pp. 3\u201318, IEEE, 2018.","DOI":"10.1109\/SP.2018.00058"},{"key":"2740_CR11","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2023.103259","volume":"vol.129","author":"X Li","year":"2023","unstructured":"Li X, Li Y, Feng Z, Wang Z, Pan Q (2023) ATS-O2A: a state-based adversarial attack strategy on deep reinforcement learning. Comput Secur vol.129:103259","journal-title":"Comput Secur"},{"issue":"no.6","key":"2740_CR12","doi-asserted-by":"publisher","first-page":"5168","DOI":"10.1109\/TDSC.2023.3241428","volume":"vol.20","author":"S Gao","year":"2023","unstructured":"Gao S, Wang R, Wang X, Yu S, Dong Y, Yao S, Zhou W (2023) Detecting adversarial examples on deep neural networks with mutual information neural estimation. IEEE Trans Dependable Secure Comput vol.20(no.6):5168\u20135181","journal-title":"IEEE Trans Dependable Secure Comput"},{"issue":"no.4","key":"2740_CR13","doi-asserted-by":"publisher","first-page":"948","DOI":"10.23919\/cje.2022.00.451","volume":"vol.33","author":"C Lin","year":"2024","unstructured":"Lin C, Zhang X, Shen C (2024) DeepLogic: priority testing of deep learning through interpretable logic units. Chin J Electron vol.33(no.4):948\u2013964","journal-title":"Chin J Electron"},{"issue":"14","key":"2740_CR14","doi-asserted-by":"publisher","first-page":"8122","DOI":"10.3390\/app13148122","volume":"13","author":"M Krichen","year":"2023","unstructured":"Krichen M (2023) A survey on formal verification and validation techniques for internet of things. Appl Sci Basel 13(14):8122","journal-title":"Appl Sci Basel"},{"key":"2740_CR15","doi-asserted-by":"crossref","unstructured":"Kern P, Sinz C (2024) Abstract Interpretation of ReLU Neural Networks with Optimizable Polynomial Relaxations. In: Proceedings of International Static Analysis Symposium, pp. 173\u2013193, Cham: Springer Nature Switzerland, 2024.","DOI":"10.1007\/978-3-031-74776-2_7"},{"key":"2740_CR16","doi-asserted-by":"publisher","DOI":"10.5120\/15470-4112","author":"SA Mangai","year":"2014","unstructured":"Mangai SA, Sankar BR, Alagarsamy K (2014) Taylor series prediction of time series data with error propagated by artificial neural network. International Journal of Computer Applications. https:\/\/doi.org\/10.5120\/15470-4112","journal-title":"International Journal of Computer Applications"},{"key":"2740_CR17","doi-asserted-by":"publisher","DOI":"10.1016\/j.hcc.2025.100321","author":"DS Alqattan","year":"2025","unstructured":"Alqattan DS, Snasel V, Ranjan R, Ojha V (2025) Analysis of deep learning under adversarial attacks in Hierarchical Federated Learning. High-Confidence Computing. https:\/\/doi.org\/10.1016\/j.hcc.2025.100321","journal-title":"High-Confidence Computing"},{"key":"2740_CR18","doi-asserted-by":"crossref","unstructured":"Hadisheh Rezaei., Rahim Taheri., Ivan Jordanov., and Mohammad Shojafar., \u201cFederated RNN for Intrusion Detection System in IoT Environment Under Adversarial Attack\u201d, Journal of Network and Systems Management, vol. 33, no. 82, 2025.","DOI":"10.1007\/s10922-025-09963-8"},{"issue":"8","key":"2740_CR19","doi-asserted-by":"publisher","first-page":"4825","DOI":"10.1007\/s10115-024-02108-4","volume":"66","author":"N Fassina","year":"2024","unstructured":"Fassina N, Ranzato F, Zanella M (2024) Robustness verification of k-nearest neighbors by abstract interpretation. Knowl Inf Syst 66(8):4825\u20134859","journal-title":"Knowl Inf Syst"},{"key":"2740_CR20","doi-asserted-by":"crossref","unstructured":"Jianjia Yu., Junmin Zhu., Song Li., and Yinzhi Cao., \u201cCoCo: Efficient Browser Extension Vulnerability Detection via Coverage-guided, Concurrent Abstract Interpretation\u201d, In Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, pp. 2441\u20132455, 2023.","DOI":"10.1145\/3576915.3616584"},{"key":"2740_CR21","doi-asserted-by":"crossref","unstructured":"Yuehao Liu., Yansong Dong., Liang Zhao., Wensheng Wang., and Cong Tian., \u201cNeuron Similarity-Based Neural Network Verification via Abstraction and Refinement\u201d, In Proceedings of the 34th International Joint Conference on Artificial Intelligence., pp. 448\u2013456, 2025.","DOI":"10.24963\/ijcai.2025\/51"},{"key":"2740_CR22","doi-asserted-by":"crossref","unstructured":"Sebastian Stock., Fabian Vu., David Gelebus., Michael Leuchel., Atif Mashkoor., and Alexander Egyed., \u201cValidation by Abstraction and Refinement\u201d, Rigorous State-Based Methods, 2023.","DOI":"10.1007\/978-3-031-33163-3_12"},{"key":"2740_CR23","doi-asserted-by":"crossref","unstructured":"Hadisheh Rezaei., Rahim Taheri., Ivan Jordanov., and Stavros Shiaeles., \u201cAdapt-LFA: Adaptive Gradient-Guided Label Flipping Attack Against Federated Learning-based Intrusion Detection in IoT\u201d, In Proceedings of IEEE International Conference on Cyber Security and Resilience (CSR), pp. 407\u2013412,\u00a02025.","DOI":"10.1109\/CSR64739.2025.11130071"},{"key":"2740_CR24","unstructured":"Bhanja S, Das A (2018) Impact of data normalization on deep neural network for time series forecasting"},{"key":"2740_CR25","first-page":"18","volume":"16","author":"M Kavitha","year":"2024","unstructured":"Kavitha M (2024) Comparative analysis of SMOTE techniques and machine learning models for imbalanced medical datasets. Integration 16:18","journal-title":"Integration"},{"issue":"1","key":"2740_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/s42400-021-00103-8","volume":"5","author":"RA Disha","year":"2022","unstructured":"Disha RA, Waheed S (2022) Performance analysis of machine learning models for intrusion detection system using Gini Impurity-based Weighted Random Forest (GIWRF) feature selection technique. Cybersecurity 5(1):1","journal-title":"Cybersecurity"},{"issue":"5","key":"2740_CR27","first-page":"2413","volume":"69","author":"G Li","year":"2022","unstructured":"Li G, Zhang A, Zhang Q, Wu D, Zhan C (2022) Pearson correlation coefficient-based performance enhancement of broad learning system for stock price prediction. IEEE Trans Circuits Syst II Express Briefs 69(5):2413\u20132417","journal-title":"IEEE Trans Circuits Syst II Express Briefs"},{"issue":"1","key":"2740_CR28","first-page":"5581806","volume":"2021","author":"K Dissanayake","year":"2021","unstructured":"Dissanayake K, Md Johar MG (2021) Comparative study on heart disease prediction using feature selection techniques on classification algorithms. Appl Comput Intell Soft Comput 2021(1):5581806","journal-title":"Appl Comput Intell Soft Comput"},{"key":"2740_CR29","doi-asserted-by":"publisher","DOI":"10.1016\/j.dibe.2023.100128","volume":"14","author":"Y Yu","year":"2023","unstructured":"Yu Y, Li J, Li J, Xia Y, Ding Z, Samali B (2023) Automated damage diagnosis of concrete jack arch beam using optimized deep stacked autoencoders and multi-sensor fusion. Dev Built Environ 14:100128","journal-title":"Dev Built Environ"},{"key":"2740_CR30","doi-asserted-by":"publisher","first-page":"4806","DOI":"10.1109\/ACCESS.2019.2962617","volume":"8","author":"Y Ho","year":"2019","unstructured":"Ho Y, Wookey S (2019) The real-world-weight cross-entropy loss function: modeling the costs of mislabeling. IEEE Access 8:4806\u20134813","journal-title":"IEEE Access"},{"issue":"8","key":"2740_CR31","doi-asserted-by":"publisher","first-page":"2950","DOI":"10.3390\/app10082950","volume":"10","author":"Q Zhu","year":"2020","unstructured":"Zhu Q, He Z, Zhang T, Cui W (2020) Improving classification performance of softmax loss function based on scalable batch-normalization. Appl Sci 10(8):2950","journal-title":"Appl Sci"},{"issue":"11","key":"2740_CR32","doi-asserted-by":"publisher","first-page":"3548","DOI":"10.1109\/JSAC.2023.3310094","volume":"41","author":"J Guo","year":"2023","unstructured":"Guo J, Liu Z, Tian S, Huang F, Li J, Li X, Igorevich KK, Ma J (2023) TFL-DT: A trust evaluation scheme for federated learning in digital twin for mobile networks. IEEE J Sel Areas Commun 41(11):3548\u20133560","journal-title":"IEEE J Sel Areas Commun"},{"key":"2740_CR33","doi-asserted-by":"crossref","unstructured":"Cao X, Fang M, Liu J, Gong NZ (2020) Fltrust: Byzantine-robust federated learning via trust bootstrapping","DOI":"10.14722\/ndss.2021.24434"},{"key":"2740_CR34","unstructured":"The Bot-IoT dataset is acquired from https:\/\/ieee-dataport.org\/documents\/bot-iot-dataset, accessed on September 2025."},{"key":"2740_CR35","unstructured":"Mirai raw dataset is acquired from \u201chttps:\/\/www.kaggle.com\/datasets\/nguyenquanitmo\/mirai-raw-dataset\u201d, accessed on September 2025."}],"container-title":["Knowledge and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-026-02740-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10115-026-02740-2","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-026-02740-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T10:48:17Z","timestamp":1777373297000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10115-026-02740-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,28]]},"references-count":35,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2026,12]]}},"alternative-id":["2740"],"URL":"https:\/\/doi.org\/10.1007\/s10115-026-02740-2","relation":{},"ISSN":["0219-1377","0219-3116"],"issn-type":[{"value":"0219-1377","type":"print"},{"value":"0219-3116","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,4,28]]},"assertion":[{"value":"4 November 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 March 2026","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 March 2026","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 April 2026","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"Not applicable.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}},{"value":"Not applicable.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Informed consent"}}],"article-number":"144"}}