{"id":"https://openalex.org/W7130643933","doi":"https://doi.org/10.1145/3797902","title":"Systematic Review on Verifiable Fully Homomorphic Encryption: Integrity, Proofs and Open Problems","display_name":"Systematic Review on Verifiable Fully Homomorphic Encryption: Integrity, Proofs and Open Problems","publication_year":2026,"publication_date":"2026-02-20","ids":{"openalex":"https://openalex.org/W7130643933","doi":"https://doi.org/10.1145/3797902"},"language":"en","primary_location":{"id":"doi:10.1145/3797902","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3797902","pdf_url":null,"source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Computing Surveys","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3797902","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5094173606","display_name":"Julen Bernab\u00e9-Rodr\u00edguez","orcid":"https://orcid.org/0000-0002-2130-3591"},"institutions":[{"id":"https://openalex.org/I4210113430","display_name":"Tecnalia","ror":"https://ror.org/02fv8hj62","country_code":"ES","type":"other","lineage":["https://openalex.org/I4210113430"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Julen Bernab\u00e9-Rodr\u00edguez","raw_affiliation_strings":["Tecnalia Research & Innovation Foundation"],"raw_orcid":"https://orcid.org/0000-0002-2130-3591","affiliations":[{"raw_affiliation_string":"Tecnalia Research & Innovation Foundation","institution_ids":["https://openalex.org/I4210113430"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069830536","display_name":"\u00d3scar Lage","orcid":"https://orcid.org/0000-0003-1168-1932"},"institutions":[{"id":"https://openalex.org/I4210113430","display_name":"Tecnalia","ror":"https://ror.org/02fv8hj62","country_code":"ES","type":"other","lineage":["https://openalex.org/I4210113430"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Oscar Lage Serrano","raw_affiliation_strings":["Tecnalia Research & Innovation Foundation"],"raw_orcid":"https://orcid.org/0000-0003-1168-1932","affiliations":[{"raw_affiliation_string":"Tecnalia Research & Innovation Foundation","institution_ids":["https://openalex.org/I4210113430"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5121788733","display_name":"Jasone Astorga Burgo","orcid":null},"institutions":[{"id":"https://openalex.org/I169108374","display_name":"University of the Basque Country","ror":"https://ror.org/000xsnr85","country_code":"ES","type":"education","lineage":["https://openalex.org/I169108374"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Jasone Astorga Burgo","raw_affiliation_strings":["Bilbao School of Engineering, University of the Basque Country UPV/EHU"],"raw_orcid":"https://orcid.org/0000-0002-5532-004X","affiliations":[{"raw_affiliation_string":"Bilbao School of Engineering, University of the Basque Country UPV/EHU","institution_ids":["https://openalex.org/I169108374"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061281328","display_name":"Eduardo Jacob","orcid":"https://orcid.org/0000-0001-7093-0586"},"institutions":[{"id":"https://openalex.org/I169108374","display_name":"University of the Basque Country","ror":"https://ror.org/000xsnr85","country_code":"ES","type":"education","lineage":["https://openalex.org/I169108374"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Eduardo Jacob Taquet","raw_affiliation_strings":["Bilbao School of Engineering, University of the Basque Country UPV/EHU"],"raw_orcid":"https://orcid.org/0000-0001-7093-0586","affiliations":[{"raw_affiliation_string":"Bilbao School of Engineering, University of the Basque Country UPV/EHU","institution_ids":["https://openalex.org/I169108374"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.22563004,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"58","issue":"11","first_page":"1","last_page":"27"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9767000079154968,"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/T10237","display_name":"Cryptography and Data Security","score":0.9767000079154968,"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/T11504","display_name":"Advanced Authentication Protocols Security","score":0.004800000227987766,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.004399999976158142,"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/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.9593999981880188},{"id":"https://openalex.org/keywords/homomorphic-encryption","display_name":"Homomorphic encryption","score":0.8281999826431274},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.7440000176429749},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5934000015258789},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.4950000047683716},{"id":"https://openalex.org/keywords/encryption","display_name":"Encryption","score":0.4708999991416931}],"concepts":[{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.9593999981880188},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8762000203132629},{"id":"https://openalex.org/C158338273","wikidata":"https://www.wikidata.org/wiki/Q2154943","display_name":"Homomorphic encryption","level":3,"score":0.8281999826431274},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7440000176429749},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5934000015258789},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.4950000047683716},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.4708999991416931},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4551999866962433},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4237000048160553},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.3321000039577484},{"id":"https://openalex.org/C2778464652","wikidata":"https://www.wikidata.org/wiki/Q309849","display_name":"Open research","level":2,"score":0.3262999951839447},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.32100000977516174},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.3192000091075897},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.28040000796318054},{"id":"https://openalex.org/C204806902","wikidata":"https://www.wikidata.org/wiki/Q2333581","display_name":"Semantic security","level":5,"score":0.2685000002384186},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.25119999051094055}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3797902","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3797902","pdf_url":null,"source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Computing Surveys","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3797902","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3797902","pdf_url":null,"source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Computing Surveys","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.5173476934432983}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":52,"referenced_works":["https://openalex.org/W913176383","https://openalex.org/W1557386445","https://openalex.org/W1562526655","https://openalex.org/W1752323684","https://openalex.org/W2007466965","https://openalex.org/W2031533839","https://openalex.org/W2088492763","https://openalex.org/W2101687784","https://openalex.org/W2114664664","https://openalex.org/W2142048307","https://openalex.org/W2177209050","https://openalex.org/W2252150191","https://openalex.org/W2496543269","https://openalex.org/W2594057045","https://openalex.org/W2768174108","https://openalex.org/W2806099183","https://openalex.org/W2886714247","https://openalex.org/W2887786293","https://openalex.org/W2919746912","https://openalex.org/W2942255051","https://openalex.org/W2967347604","https://openalex.org/W3015408680","https://openalex.org/W3023051856","https://openalex.org/W3030708022","https://openalex.org/W3031397331","https://openalex.org/W3031679272","https://openalex.org/W3095317724","https://openalex.org/W3157647410","https://openalex.org/W3157709467","https://openalex.org/W3164004061","https://openalex.org/W3173128495","https://openalex.org/W3173798724","https://openalex.org/W3176410512","https://openalex.org/W3207326900","https://openalex.org/W4200495247","https://openalex.org/W4200538585","https://openalex.org/W4237257513","https://openalex.org/W4281609193","https://openalex.org/W4281792301","https://openalex.org/W4307823778","https://openalex.org/W4312463145","https://openalex.org/W4360831815","https://openalex.org/W4361986437","https://openalex.org/W4365134837","https://openalex.org/W4385012543","https://openalex.org/W4385654365","https://openalex.org/W4388857498","https://openalex.org/W4394907743","https://openalex.org/W4400410504","https://openalex.org/W4401598503","https://openalex.org/W4405166865","https://openalex.org/W4416549512"],"related_works":[],"abstract_inverted_index":{"Fully":[0],"Homomorphic":[1],"Encryption":[2],"(FHE)":[3],"enables":[4],"arbitrary":[5],"computations":[6],"on":[7],"encrypted":[8],"data":[9],"but":[10],"lacks":[11],"mechanisms":[12],"to":[13,72,133],"ensure":[14],"the":[15,30,43,63,115,119],"integrity":[16,57],"of":[17,56,65,82,122],"those":[18],"computations.":[19,137],"In":[20],"particular,":[21],"verifying":[22],"that":[23,29],"algorithm":[24,32],"inputs":[25],"are":[26],"correct":[27],"or":[28],"intended":[31],"was":[33],"indeed":[34],"executed":[35],"remains":[36],"an":[37],"open":[38],"challenge.":[39],"This":[40],"article":[41],"addresses":[42],"issue":[44],"by":[45,127],"making":[46],"two":[47],"key":[48],"contributions.":[49],"First,":[50],"we":[51,77],"perform":[52],"a":[53,69,79],"comprehensive":[54],"analysis":[55],"faults":[58],"in":[59,62,100,113],"FHE,":[60,89],"culminating":[61],"definition":[64],"verifiable":[66,88,123,135],"FHE":[67,136],"as":[68,95,97],"novel":[70],"concept":[71],"tackle":[73],"these":[74],"concerns.":[75],"Second,":[76],"present":[78],"systematic":[80],"review":[81],"existing":[83],"approaches":[84],"aimed":[85],"at":[86],"providing":[87],"assessing":[90],"their":[91,98],"strengths":[92],"and":[93,118],"weaknesses,":[94],"well":[96],"applicability":[99],"practical":[101,120],"settings.":[102],"Our":[103],"findings":[104],"reveal":[105],"that,":[106],"despite":[107],"promising":[108],"advances,":[109],"significant":[110],"gaps":[111],"persist":[112],"both":[114],"theoretical":[116],"foundations":[117],"deployment":[121],"FHE.":[124],"We":[125],"conclude":[126],"outlining":[128],"future":[129],"research":[130],"directions":[131],"necessary":[132],"achieve":[134]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-02-20T00:00:00"}