{"id":"https://openalex.org/W4391326578","doi":"https://doi.org/10.1109/tifs.2024.3358993","title":"Proof of Unlearning: Definitions and Instantiation","display_name":"Proof of Unlearning: Definitions and Instantiation","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4391326578","doi":"https://doi.org/10.1109/tifs.2024.3358993"},"language":"en","primary_location":{"id":"doi:10.1109/tifs.2024.3358993","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tifs.2024.3358993","pdf_url":null,"source":{"id":"https://openalex.org/S61310614","display_name":"IEEE Transactions on Information Forensics and Security","issn_l":"1556-6013","issn":["1556-6013","1556-6021"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Information Forensics and Security","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5025556550","display_name":"Jiasi Weng","orcid":"https://orcid.org/0000-0002-5876-7875"},"institutions":[{"id":"https://openalex.org/I159948400","display_name":"Jinan University","ror":"https://ror.org/02xe5ns62","country_code":"CN","type":"education","lineage":["https://openalex.org/I159948400"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiasi Weng","raw_affiliation_strings":["College of Cyber Security, Jinan University, Guangzhou, China"],"raw_orcid":"https://orcid.org/0000-0002-5876-7875","affiliations":[{"raw_affiliation_string":"College of Cyber Security, Jinan University, Guangzhou, China","institution_ids":["https://openalex.org/I159948400"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067350497","display_name":"Shenglong Yao","orcid":null},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Shenglong Yao","raw_affiliation_strings":["Department of Computer Science, City University of Hong Kong, Kowloon Tong, Hong Kong","Department of Computer Science, City University of Hong Kong, Kowloon Tong, Hong Kong, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, City University of Hong Kong, Kowloon Tong, Hong Kong","institution_ids":["https://openalex.org/I168719708"]},{"raw_affiliation_string":"Department of Computer Science, City University of Hong Kong, Kowloon Tong, Hong Kong, China","institution_ids":["https://openalex.org/I168719708"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068779009","display_name":"Yuefeng Du","orcid":"https://orcid.org/0000-0003-1091-6832"},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Yuefeng Du","raw_affiliation_strings":["Department of Computer Science, City University of Hong Kong, Kowloon Tong, Hong Kong","Department of Computer Science, City University of Hong Kong, Kowloon Tong, Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0003-1091-6832","affiliations":[{"raw_affiliation_string":"Department of Computer Science, City University of Hong Kong, Kowloon Tong, Hong Kong","institution_ids":["https://openalex.org/I168719708"]},{"raw_affiliation_string":"Department of Computer Science, City University of Hong Kong, Kowloon Tong, Hong Kong, China","institution_ids":["https://openalex.org/I168719708"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037501616","display_name":"Junjie Huang","orcid":"https://orcid.org/0000-0003-2986-4665"},"institutions":[{"id":"https://openalex.org/I159948400","display_name":"Jinan University","ror":"https://ror.org/02xe5ns62","country_code":"CN","type":"education","lineage":["https://openalex.org/I159948400"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Junjie Huang","raw_affiliation_strings":["College of Cyber Security, Jinan University, Guangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Cyber Security, Jinan University, Guangzhou, China","institution_ids":["https://openalex.org/I159948400"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082041657","display_name":"Jian Weng","orcid":"https://orcid.org/0000-0003-4067-8230"},"institutions":[{"id":"https://openalex.org/I159948400","display_name":"Jinan University","ror":"https://ror.org/02xe5ns62","country_code":"CN","type":"education","lineage":["https://openalex.org/I159948400"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jian Weng","raw_affiliation_strings":["College of Cyber Security, Jinan University, Guangzhou, China"],"raw_orcid":"https://orcid.org/0000-0003-4067-8230","affiliations":[{"raw_affiliation_string":"College of Cyber Security, Jinan University, Guangzhou, China","institution_ids":["https://openalex.org/I159948400"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100390514","display_name":"Cong Wang","orcid":"https://orcid.org/0000-0003-0547-315X"},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Cong Wang","raw_affiliation_strings":["Department of Computer Science, City University of Hong Kong, Kowloon Tong, Hong Kong","Department of Computer Science, City University of Hong Kong, Kowloon Tong, Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0003-0547-315X","affiliations":[{"raw_affiliation_string":"Department of Computer Science, City University of Hong Kong, Kowloon Tong, Hong Kong","institution_ids":["https://openalex.org/I168719708"]},{"raw_affiliation_string":"Department of Computer Science, City University of Hong Kong, Kowloon Tong, Hong Kong, China","institution_ids":["https://openalex.org/I168719708"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":12.152,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.98470258,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"19","issue":null,"first_page":"3309","last_page":"3323"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11614","display_name":"Cloud Data Security Solutions","score":0.9883000254631042,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11614","display_name":"Cloud Data Security Solutions","score":0.9883000254631042,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9746000170707703,"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/T14470","display_name":"Advanced Data Processing Techniques","score":0.9345999956130981,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7931056022644043},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5083248019218445},{"id":"https://openalex.org/keywords/proof-theory","display_name":"Proof theory","score":0.4851718544960022},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37265992164611816},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.15697750449180603},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11503466963768005}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7931056022644043},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5083248019218445},{"id":"https://openalex.org/C2318724","wikidata":"https://www.wikidata.org/wiki/Q852732","display_name":"Proof theory","level":3,"score":0.4851718544960022},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37265992164611816},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.15697750449180603},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11503466963768005},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tifs.2024.3358993","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tifs.2024.3358993","pdf_url":null,"source":{"id":"https://openalex.org/S61310614","display_name":"IEEE Transactions on Information Forensics and Security","issn_l":"1556-6013","issn":["1556-6013","1556-6021"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Information Forensics and Security","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6299999952316284,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G4365675440","display_name":null,"funder_award_id":"U23A20303","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4497236288","display_name":null,"funder_award_id":"62302192","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6220089879","display_name":null,"funder_award_id":"61825203","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8395670599","display_name":null,"funder_award_id":"62332007","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8825203574","display_name":null,"funder_award_id":"U22B2028","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":79,"referenced_works":["https://openalex.org/W1247015877","https://openalex.org/W1488996941","https://openalex.org/W1490341282","https://openalex.org/W1538440442","https://openalex.org/W1967373117","https://openalex.org/W1993722065","https://openalex.org/W2043012577","https://openalex.org/W2098843110","https://openalex.org/W2125858711","https://openalex.org/W2132372908","https://openalex.org/W2155071529","https://openalex.org/W2159084484","https://openalex.org/W2167015470","https://openalex.org/W2535690855","https://openalex.org/W2613137163","https://openalex.org/W2625587722","https://openalex.org/W2734245281","https://openalex.org/W2752493903","https://openalex.org/W2769824527","https://openalex.org/W2793398195","https://openalex.org/W2801922753","https://openalex.org/W2807403537","https://openalex.org/W2814277972","https://openalex.org/W2885216147","https://openalex.org/W2912601938","https://openalex.org/W2946452487","https://openalex.org/W2954625838","https://openalex.org/W2964261135","https://openalex.org/W2966910544","https://openalex.org/W2971687264","https://openalex.org/W2979832172","https://openalex.org/W3008991042","https://openalex.org/W3023153742","https://openalex.org/W3035644192","https://openalex.org/W3046380193","https://openalex.org/W3047380981","https://openalex.org/W3091736548","https://openalex.org/W3092391615","https://openalex.org/W3095155273","https://openalex.org/W3100860658","https://openalex.org/W3125912651","https://openalex.org/W3126635500","https://openalex.org/W3135955057","https://openalex.org/W3146258865","https://openalex.org/W3154155772","https://openalex.org/W3154581591","https://openalex.org/W3173524712","https://openalex.org/W3175329822","https://openalex.org/W3190255372","https://openalex.org/W3193974325","https://openalex.org/W3195232018","https://openalex.org/W3205334056","https://openalex.org/W3214437258","https://openalex.org/W4200371476","https://openalex.org/W4220686836","https://openalex.org/W4221145530","https://openalex.org/W4224088737","https://openalex.org/W4224325687","https://openalex.org/W4281697289","https://openalex.org/W4283208007","https://openalex.org/W4286256876","https://openalex.org/W4295108597","https://openalex.org/W4296562799","https://openalex.org/W6718865826","https://openalex.org/W6749255846","https://openalex.org/W6751922297","https://openalex.org/W6753474897","https://openalex.org/W6763393573","https://openalex.org/W6765443569","https://openalex.org/W6767247158","https://openalex.org/W6769833289","https://openalex.org/W6791907524","https://openalex.org/W6793958797","https://openalex.org/W6796843635","https://openalex.org/W6800331133","https://openalex.org/W6802936884","https://openalex.org/W6838779202","https://openalex.org/W6842738431","https://openalex.org/W6851934252"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"The":[0],"\u201cRight":[1],"to":[2,15,42,80,92,149,174,222],"be":[3,16,61],"Forgotten\u201d":[4],"rule":[5],"in":[6,87,100,242],"machine":[7,27,104],"learning":[8,105],"(ML)":[9],"practice":[10],"enables":[11],"some":[12],"individual":[13,46],"data":[14,47,205,220],"deleted":[17,50],"from":[18],"a":[19,36,65,78,107,112,189,208,255],"trained":[20],"model,":[21],"as":[22,106,148],"pursued":[23],"by":[24,64,95,196],"recently":[25,76],"developed":[26],"unlearning":[28,98,236],"techniques.":[29],"To":[30],"truly":[31],"comply":[32],"with":[33,171,207,227,238,254],"the":[34,45,93,97,101,140,151,166,175,183,204,213,243,248,251],"rule,":[35],"natural":[37],"and":[38,110,142,168,179,231,258],"necessary":[39],"step":[40],"is":[41],"verify":[43],"if":[44],"are":[48],"indeed":[49],"after":[51],"unlearning.":[52],"Yet,":[53],"previous":[54],"<italic":[55,71,83,117,131,156],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[56,72,84,118,132,157],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">parameter-space</i>":[57],"verification":[58,86],"metrics":[59],"may":[60],"easily":[62],"evaded":[63],"distrustful":[66],"model":[67],"trainer.":[68],"Thus,":[69],"Thudi":[70],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">et":[73],"al</i>":[74],".":[75],"present":[77,188],"call":[79],"action":[81],"on":[82,123,138],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">algorithm-level</i>":[85],"USENIX":[88],"Security\u201922.":[89],"We":[90,217,245],"respond":[91],"call,":[94],"reconsidering":[96],"problem":[99],"scenario":[102],"of":[103,120,145,164,215,250],"service":[108,177],"(MLaaS),":[109],"proposing":[111],"new":[113],"definition":[114,184],"framework":[115],"for":[116,202,211],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">Proof":[119],"Unlearning</i>":[121],"(PoUL)":[122],"algorithm":[124],"level.":[125],"Specifically,":[126],"our":[127],"PoUL":[128],"definitions":[129],"(":[130,155],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">i</i>":[133],")":[134,159],"enforce":[135],"correctness":[136],"properties":[137],"both":[139,165],"pre":[141],"post":[143],"phases":[144],"unlearning,":[146],"so":[147],"prevent":[150],"state-of-the-art":[152],"forging":[153],"attacks;":[154],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">ii</i>":[158],"highlight":[160],"proper":[161],"practicality":[162],"requirements":[163],"prover":[167],"verifier":[169],"sides":[170],"minimal":[172],"invasiveness":[173],"off-the-shelf":[176],"pipeline":[178],"computational":[180],"workloads.":[181],"Under":[182],"framework,":[185],"we":[186],"subsequently":[187],"trusted":[190],"hardware-empowered":[191],"instantiation":[192,253],"using":[193],"SGX":[194],"enclave,":[195],"logically":[197],"incorporating":[198],"an":[199],"authentication":[200],"layer":[201,210],"tracing":[203],"lineage":[206],"proving":[209,234],"supporting":[212],"audit":[214],"learning.":[216],"customize":[218],"authenticated":[219],"structures":[221],"support":[223],"large":[224],"out-of-enclave":[225],"storage":[226],"simple":[228],"operation":[229],"logic,":[230],"meanwhile,":[232],"enable":[233],"complex":[235],"logic":[237],"affordable":[239],"memory":[240],"footprints":[241],"enclave.":[244],"finally":[246],"validate":[247],"feasibility":[249],"proposed":[252],"proof-of-concept":[256],"implementation":[257],"multi-dimensional":[259],"performance":[260],"evaluation.":[261]},"counts_by_year":[{"year":2026,"cited_by_count":4},{"year":2025,"cited_by_count":10},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}