{"id":"https://openalex.org/W7167790883","doi":"https://doi.org/10.48550/arxiv.2607.06612","title":"PRoVeFL: Private Robust and Verifiable Aggregation in Federated Learning","display_name":"PRoVeFL: Private Robust and Verifiable Aggregation in Federated Learning","publication_year":2026,"publication_date":"2026-07-07","ids":{"openalex":"https://openalex.org/W7167790883","doi":"https://doi.org/10.48550/arxiv.2607.06612"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2607.06612","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.06612","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2607.06612","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5079240842","display_name":"Harsh Kasyap","orcid":"https://orcid.org/0000-0002-8313-6354"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kasyap, Harsh","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063001503","display_name":"Anil K. Pradhan","orcid":"https://orcid.org/0000-0001-8775-3643"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pradhan, Anil Kumar","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038480738","display_name":"Ugur Ilker Atmaca","orcid":"https://orcid.org/0000-0002-7428-3504"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Atmaca, Ugur Ilker","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031896681","display_name":"Graham Cormode","orcid":"https://orcid.org/0000-0002-0698-0922"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cormode, Graham","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5140354683","display_name":"Carsten Maple","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Maple, Carsten","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10764","display_name":"Privacy-Preserving Technologies in Data","score":0.9528999924659729,"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/T10764","display_name":"Privacy-Preserving Technologies in Data","score":0.9528999924659729,"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/T10237","display_name":"Cryptography and Data Security","score":0.03400000184774399,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.00139999995008111,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6291999816894531},{"id":"https://openalex.org/keywords/homomorphic-encryption","display_name":"Homomorphic encryption","score":0.6226999759674072},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.6107000112533569},{"id":"https://openalex.org/keywords/server","display_name":"Server","score":0.5670999884605408},{"id":"https://openalex.org/keywords/ciphertext","display_name":"Ciphertext","score":0.5564000010490417},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.48649999499320984},{"id":"https://openalex.org/keywords/plaintext","display_name":"Plaintext","score":0.48489999771118164},{"id":"https://openalex.org/keywords/cryptographic-primitive","display_name":"Cryptographic primitive","score":0.4652000069618225},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.4616999924182892}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8550000190734863},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6291999816894531},{"id":"https://openalex.org/C158338273","wikidata":"https://www.wikidata.org/wiki/Q2154943","display_name":"Homomorphic encryption","level":3,"score":0.6226999759674072},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.6107000112533569},{"id":"https://openalex.org/C93996380","wikidata":"https://www.wikidata.org/wiki/Q44127","display_name":"Server","level":2,"score":0.5670999884605408},{"id":"https://openalex.org/C93974786","wikidata":"https://www.wikidata.org/wiki/Q1589480","display_name":"Ciphertext","level":3,"score":0.5564000010490417},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5268999934196472},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.48649999499320984},{"id":"https://openalex.org/C92717368","wikidata":"https://www.wikidata.org/wiki/Q1162538","display_name":"Plaintext","level":3,"score":0.48489999771118164},{"id":"https://openalex.org/C15927051","wikidata":"https://www.wikidata.org/wiki/Q246593","display_name":"Cryptographic primitive","level":4,"score":0.4652000069618225},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.4616999924182892},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.4447000026702881},{"id":"https://openalex.org/C123201435","wikidata":"https://www.wikidata.org/wiki/Q456632","display_name":"Information privacy","level":2,"score":0.40700000524520874},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40070000290870667},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.37619999051094055},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.3720000088214874},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3569999933242798},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.35600000619888306},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.34290000796318054},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.34060001373291016},{"id":"https://openalex.org/C2776452267","wikidata":"https://www.wikidata.org/wiki/Q1503443","display_name":"Secrecy","level":2,"score":0.3149999976158142},{"id":"https://openalex.org/C82578977","wikidata":"https://www.wikidata.org/wiki/Q16773055","display_name":"Data aggregator","level":3,"score":0.2824000120162964},{"id":"https://openalex.org/C66989864","wikidata":"https://www.wikidata.org/wiki/Q594646","display_name":"Paillier cryptosystem","level":5,"score":0.2800000011920929},{"id":"https://openalex.org/C203062551","wikidata":"https://www.wikidata.org/wiki/Q201339","display_name":"Public-key cryptography","level":3,"score":0.2678000032901764},{"id":"https://openalex.org/C70061542","wikidata":"https://www.wikidata.org/wiki/Q989016","display_name":"Distributed database","level":2,"score":0.267300009727478},{"id":"https://openalex.org/C2780505938","wikidata":"https://www.wikidata.org/wiki/Q17093282","display_name":"Unavailability","level":2,"score":0.25850000977516174},{"id":"https://openalex.org/C204806902","wikidata":"https://www.wikidata.org/wiki/Q2333581","display_name":"Semantic security","level":5,"score":0.2517000138759613}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2607.06612","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.06612","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2607.06612","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.06612","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.5200721621513367}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Federated":[0],"Learning":[1],"(FL)":[2],"enables":[3,123],"multiple":[4,100],"clients":[5],"to":[6,37,73,118,135,143,225],"collaboratively":[7],"train":[8],"machine":[9],"learning":[10],"models":[11],"while":[12],"retaining":[13],"data":[14],"locality,":[15],"thereby":[16],"enhancing":[17],"user":[18],"privacy.":[19],"However,":[20],"traditional":[21],"FL":[22,53,88],"frameworks":[23],"rely":[24],"on":[25,217],"a":[26,57,124,154],"centralized":[27],"aggregation":[28,148,160],"server":[29],"and":[30,41,51,63,65,69,94,114,170,172,195,204,214,227],"assume":[31],"honest-but-curious":[32],"clients,":[33],"making":[34],"them":[35,175],"susceptible":[36],"both":[38],"server-side":[39],"inference":[40],"client-side":[42],"poisoning":[43],"attacks.":[44],"Although":[45],"recent":[46],"work":[47],"has":[48],"explored":[49],"secure":[50],"Byzantine-resilient":[52],"protocols,":[54],"they":[55],"face":[56],"fundamental":[58],"trade-off":[59],"among":[60],"privacy,":[61],"integrity,":[62],"verifiability,":[64],"incur":[66],"substantial":[67],"computational":[68],"communication":[70],"overhead":[71],"due":[72],"the":[74,136,210],"heavy":[75],"use":[76],"of":[77,157,202],"cryptographic":[78],"primitives.":[79],"In":[80],"this":[81],"work,":[82],"we":[83],"propose":[84],"PRoVeFL-a":[85],"novel,":[86],"modular":[87],"framework":[89],"that":[90,179],"is":[91,151],"Privacy-preserving,":[92],"Byzantine-Robust,":[93],"ensures":[95],"Verifiable":[96],"aggregation.":[97],"PRoVeFL":[98,150,206],"employs":[99],"servers":[101],"leveraging":[102],"multi-key":[103],"fully":[104],"homomorphic":[105],"encryption.":[106],"Each":[107],"client":[108],"encrypts":[109],"its":[110,197],"local":[111],"model":[112,127],"updates":[113],"distributes":[115],"encrypted":[116],"shares":[117],"all":[119],"servers.":[120],"This":[121],"design":[122],"hybrid":[125],"computation":[126],"in":[128,183],"which":[129],"ciphertext":[130],"operations":[131],"are":[132],"carefully":[133],"offloaded":[134],"plaintext":[137],"domain":[138],"under":[139],"strict":[140],"privacy":[141],"constraints":[142],"efficiently":[144],"evaluate":[145,190],"complex":[146],"statistical":[147],"rules.":[149],"compatible":[152],"with":[153,176,199,220],"wide":[155],"range":[156],"state-of-the-art":[158],"Byzantine-robust":[159],"algorithms":[161],"(e.g.,":[162],"Krum,":[163],"Trimmed":[164],"Mean,":[165],"FLTrust,":[166],"norm":[167],"clipping,":[168],"MESAS,":[169],"more)":[171],"further":[173],"enhances":[174],"verifiability":[177],"mechanisms":[178],"require":[180],"minimal":[181],"trust":[182,219],"at":[184],"least":[185],"one":[186],"honest":[187],"server.":[188],"We":[189],"it":[191],"across":[192],"different":[193],"settings":[194],"demonstrate":[196],"scalability":[198],"varying":[200],"numbers":[201],"parameters":[203],"participants.":[205],"improves":[207],"runtime":[208],"over":[209],"prior":[211],"works,":[212],"Prio":[213],"ELSA,":[215],"based":[216],"distributed":[218],"comparable":[221],"security":[222],"guarantees,":[223],"up":[224],"100x":[226],"10x,":[228],"respectively.":[229]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-07-10T00:00:00"}
