{"id":"https://openalex.org/W7165632700","doi":"https://doi.org/10.48550/arxiv.2606.22519","title":"Detecting and Understanding Vulnerabilities in Fully Homomorphic Encryption Frameworks","display_name":"Detecting and Understanding Vulnerabilities in Fully Homomorphic Encryption Frameworks","publication_year":2026,"publication_date":"2026-06-21","ids":{"openalex":"https://openalex.org/W7165632700","doi":"https://doi.org/10.48550/arxiv.2606.22519"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.22519","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.22519","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":null,"license_id":null,"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.2606.22519","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5139214193","display_name":"Yiteng Peng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peng, Yiteng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070622803","display_name":"Dongwei Xiao","orcid":"https://orcid.org/0000-0002-4680-5715"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xiao, Dongwei","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139197004","display_name":"Zhibo Liu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Zhibo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072001009","display_name":"Zhenlan Ji","orcid":"https://orcid.org/0000-0003-3167-0480"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"JI, Zhenlan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5139168541","display_name":"Shuai Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Shuai","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/T10237","display_name":"Cryptography and Data Security","score":0.5784000158309937,"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.5784000158309937,"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/T11424","display_name":"Security and Verification in Computing","score":0.10360000282526016,"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.09969999641180038,"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/homomorphic-encryption","display_name":"Homomorphic encryption","score":0.7013000249862671},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.641700029373169},{"id":"https://openalex.org/keywords/encryption","display_name":"Encryption","score":0.6086999773979187},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.5088000297546387},{"id":"https://openalex.org/keywords/data-breach","display_name":"Data breach","score":0.45660001039505005},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.40720000863075256},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3873000144958496},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.3571999967098236}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7669000029563904},{"id":"https://openalex.org/C158338273","wikidata":"https://www.wikidata.org/wiki/Q2154943","display_name":"Homomorphic encryption","level":3,"score":0.7013000249862671},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.641700029373169},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.6086999773979187},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5733000040054321},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.5088000297546387},{"id":"https://openalex.org/C165609540","wikidata":"https://www.wikidata.org/wiki/Q1172486","display_name":"Data breach","level":2,"score":0.45660001039505005},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.40720000863075256},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3873000144958496},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.3571999967098236},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.3197999894618988},{"id":"https://openalex.org/C123201435","wikidata":"https://www.wikidata.org/wiki/Q456632","display_name":"Information privacy","level":2,"score":0.3176000118255615},{"id":"https://openalex.org/C2780746774","wikidata":"https://www.wikidata.org/wiki/Q17014981","display_name":"Functional encryption","level":4,"score":0.29350000619888306},{"id":"https://openalex.org/C10511746","wikidata":"https://www.wikidata.org/wiki/Q899388","display_name":"Data security","level":3,"score":0.28519999980926514},{"id":"https://openalex.org/C62913178","wikidata":"https://www.wikidata.org/wiki/Q7554361","display_name":"Software security assurance","level":4,"score":0.2786000072956085},{"id":"https://openalex.org/C18396474","wikidata":"https://www.wikidata.org/wiki/Q2465888","display_name":"Secure multi-party computation","level":3,"score":0.26910001039505005},{"id":"https://openalex.org/C195518309","wikidata":"https://www.wikidata.org/wiki/Q13424265","display_name":"Security testing","level":5,"score":0.2676999866962433},{"id":"https://openalex.org/C49261128","wikidata":"https://www.wikidata.org/wiki/Q1132455","display_name":"Hazard","level":2,"score":0.26159998774528503},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.25780001282691956}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.22519","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.22519","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2606.22519","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.22519","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Fully":[0],"homomorphic":[1],"encryption":[2],"(FHE)":[3],"allows":[4],"computations":[5],"to":[6,52,66,90,109,138,227],"be":[7],"performed":[8],"directly":[9],"on":[10,194],"encrypted":[11,105],"data":[12,21],"without":[13,182],"decryption,":[14],"offering":[15],"strong":[16],"privacy":[17],"guarantees":[18],"for":[19,27,131,185],"sensitive":[20],"analysis.":[22],"This":[23],"capability":[24],"is":[25],"important":[26],"privacy-sensitive":[28],"applications":[29],"like":[30],"secure":[31],"cloud":[32],"computing,":[33],"finance,":[34],"and":[35,113,143,211,230],"healthcare.":[36],"The":[37],"complexity":[38,83],"of":[39,56,61,84,158,175,192,205,232],"FHE":[40,50,69,73,85,132,148,166],"schemes,":[41],"however,":[42],"has":[43,64],"hindered":[44],"their":[45],"practical":[46],"adoption.":[47],"To":[48,151],"make":[49],"accessible":[51],"a":[53,58,76,156,186],"broader":[54],"range":[55],"developers,":[57],"new":[59,77],"generation":[60],"specialized":[62],"frameworks":[63,86,101,198],"emerged":[65],"translate":[67],"high-level":[68],"programs":[70],"into":[71],"complex":[72],"operations,":[74],"introducing":[75],"programming":[78],"paradigm.":[79],"However,":[80],"the":[81,125,146,171,176,183,220,228],"inherent":[82],"makes":[87],"them":[88],"prone":[89],"incorrect":[91],"implementation":[92,141],"logic.":[93],"Unlike":[94],"mere":[95],"crashes,":[96],"logic":[97],"bugs":[98,142,225],"in":[99,116],"these":[100,224],"can":[102],"silently":[103],"corrupt":[104],"computation,":[106],"potentially":[107],"leading":[108,196],"severe":[110],"financial":[111],"losses":[112],"security":[114,222],"vulnerabilities":[115,144],"FHE-enhanced":[117],"applications.":[118],"In":[119],"this":[120],"work,":[121],"we":[122,154],"introduce":[123],"HERTA,":[124],"first":[126],"automated":[127,179],"testing":[128,137,181],"tool":[129],"tailored":[130],"frameworks.":[133],"HERTA":[134,193],"leverages":[135],"metamorphic":[136,160],"uncover":[139],"deep-seated":[140],"across":[145],"multi-layered":[147],"software":[149],"stack.":[150],"that":[152],"end,":[153],"design":[155],"set":[157],"novel":[159],"relations":[161],"(MRs)":[162],"derived":[163],"specifically":[164],"from":[165],"semantics.":[167],"These":[168],"MRs":[169],"stress":[170],"most":[172],"challenging":[173],"aspects":[174],"pipeline,":[177],"enabling":[178],"correctness":[180],"need":[184],"manual":[187],"ground":[188],"truth.":[189],"Our":[190],"evaluation":[191],"3":[195],"industry":[197],"discovered":[199],"21":[200],"previously":[201],"unknown":[202],"bugs,":[203],"several":[204],"which":[206],"have":[207],"already":[208],"been":[209],"confirmed":[210],"fixed":[212],"by":[213],"developers.":[214],"Furthermore,":[215],"our":[216],"hazard":[217],"analysis":[218],"reveals":[219],"critical":[221],"impact":[223],"pose":[226],"integrity":[229],"availability":[231],"FHE-based":[233],"services.":[234]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-06-24T00:00:00"}