{"title":"An Efficient Replication-Based Aggregation Verification and Correctness Assurance Scheme for Federated Learning","authors":"Shihong Wu;Yuchuan Luo;Shaojing Fu;Yingwen Chen;Ming Xu","doi":"10.1109/TSC.2024.3520833","DOIUrl":"10.1109/TSC.2024.3520833","url":null,"abstract":"Federated learning(FL), enabling multiple clients collaboratively to train a model via a parameter server, is an effective approach to address the issue of data silos. However, due to the self-interest and laziness of servers, they may not correctly aggregate the global model parameters, which will cause the final model trained to deviate from the training goal. In the existing proposals, the cryptography-based verification scheme involves heavy computation overheads. On the other hand, the replication-based verification method, relying on a dual-server architecture, can ensure the correctness of aggregation and reduce computation overheads, but incur at least twice the communication cost as that of the task itself. To address these issues, we propose a novel replication-based aggregation scheme for FL, which enables efficient verification and stronger correctness assurance. The scheme employs a main-secondary server architecture, which allows the secondary servers to partakes in aggregation tasks at a predetermined probability, consequently mitigating the validation overhead. Moreover, we resort to the game theory and design a Learning Contract to impose penalties on dishonest servers, enforcing rational servers to correctly compute global model parameters. Under the use of Betrayal Contract to prevent collusion among servers, we further design a training game to efficiently verify global model parameters and ensure their correctness. Finally, we analyze the correctness of the proposed scheme and demonstrate that the computational overhead of our scheme is <inline-formula><tex-math>$frac{{n + 1}}{{2n}}$</tex-math></inline-formula> of the previous replication-based validation scheme, obtaining a significant reduction in communication cost, where <inline-formula><tex-math>$n$</tex-math></inline-formula> means the training rounds. Experimental results further validate our deduction.","PeriodicalId":13255,"journal":{"name":"IEEE Transactions on Services Computing","volume":"18 2","pages":"633-646"},"PeriodicalIF":5.5,"publicationDate":"2025-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143822823","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Juan Luis Herrera, Alejandro Moya, Javier Berrocal, Juan Manuel Murillo, Elena Navarro
{"title":"A Developer-Focused Genetic Algorithm for IoT Application Placement in the Computing Continuum","authors":"Juan Luis Herrera, Alejandro Moya, Javier Berrocal, Juan Manuel Murillo, Elena Navarro","doi":"10.1109/tsc.2025.3556641","DOIUrl":"https://doi.org/10.1109/tsc.2025.3556641","url":null,"abstract":"","PeriodicalId":13255,"journal":{"name":"IEEE Transactions on Services Computing","volume":"5 1","pages":""},"PeriodicalIF":8.1,"publicationDate":"2025-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143757799","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}