Yazhe Kang , Yong Xie , Libing Wu , Pingchao Zhou , Yue Du
{"title":"Efficient Dropout-resilient and Verifiable Federated learning scheme for AIoT healthcare system","authors":"Yazhe Kang , Yong Xie , Libing Wu , Pingchao Zhou , Yue Du","doi":"10.1016/j.sysarc.2025.103575","DOIUrl":null,"url":null,"abstract":"<div><div>Federated learning (FL) with healthcare AIoT data from multiple healthcare institutions can enhance device intelligence and further protect people’s health. The preservation of confidentiality in healthcare data has emerged as a central concern in healthcare FL systems. Under the premise of emphasizing privacy protection, it is particularly inefficient to maintain system robustness after a participant drops out. Furthermore, it proves more complex to confirm whether the aggregation server faithfully executes the aggregation task, especially given that the aggregation server may collude with corrupt users to intentionally return carefully crafted aggregation results. At present, few works focus on the two issues concurrently. To address this challenge, an efficient dropout-resilient and verifiable FL scheme (EDV-FL for short) is proposed in this paper. Our scheme addresses the issue of dropped users rejoining in the future, while reducing both communication and computation overhead. Moreover, we ensure that even if the server colludes with corrupt users to forge the aggregation result, users can still detect the correctness of the aggregation result. We theoretically demonstrate the effectiveness of EDV-FL and reproduce the scheme using Convolutional Neural Network (CNN) models on the MNIST, CIFAR-10, and Fashion-MNIST datasets. Theoretical proofs and experimental analyses show that our EDV-FL is an efficient, dropout-resistant, and collusion-resistant, verifiable FL scheme.</div></div>","PeriodicalId":50027,"journal":{"name":"Journal of Systems Architecture","volume":"168 ","pages":"Article 103575"},"PeriodicalIF":4.1000,"publicationDate":"2025-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Systems Architecture","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S1383762125002474","RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"COMPUTER SCIENCE, HARDWARE & ARCHITECTURE","Score":null,"Total":0}
引用次数: 0
Abstract
Federated learning (FL) with healthcare AIoT data from multiple healthcare institutions can enhance device intelligence and further protect people’s health. The preservation of confidentiality in healthcare data has emerged as a central concern in healthcare FL systems. Under the premise of emphasizing privacy protection, it is particularly inefficient to maintain system robustness after a participant drops out. Furthermore, it proves more complex to confirm whether the aggregation server faithfully executes the aggregation task, especially given that the aggregation server may collude with corrupt users to intentionally return carefully crafted aggregation results. At present, few works focus on the two issues concurrently. To address this challenge, an efficient dropout-resilient and verifiable FL scheme (EDV-FL for short) is proposed in this paper. Our scheme addresses the issue of dropped users rejoining in the future, while reducing both communication and computation overhead. Moreover, we ensure that even if the server colludes with corrupt users to forge the aggregation result, users can still detect the correctness of the aggregation result. We theoretically demonstrate the effectiveness of EDV-FL and reproduce the scheme using Convolutional Neural Network (CNN) models on the MNIST, CIFAR-10, and Fashion-MNIST datasets. Theoretical proofs and experimental analyses show that our EDV-FL is an efficient, dropout-resistant, and collusion-resistant, verifiable FL scheme.
期刊介绍:
The Journal of Systems Architecture: Embedded Software Design (JSA) is a journal covering all design and architectural aspects related to embedded systems and software. It ranges from the microarchitecture level via the system software level up to the application-specific architecture level. Aspects such as real-time systems, operating systems, FPGA programming, programming languages, communications (limited to analysis and the software stack), mobile systems, parallel and distributed architectures as well as additional subjects in the computer and system architecture area will fall within the scope of this journal. Technology will not be a main focus, but its use and relevance to particular designs will be. Case studies are welcome but must contribute more than just a design for a particular piece of software.
Design automation of such systems including methodologies, techniques and tools for their design as well as novel designs of software components fall within the scope of this journal. Novel applications that use embedded systems are also central in this journal. While hardware is not a part of this journal hardware/software co-design methods that consider interplay between software and hardware components with and emphasis on software are also relevant here.