{"id":"https://openalex.org/W7125549163","doi":"https://doi.org/10.1109/tdsc.2026.3656357","title":"Proof of Persistent Aliveness","display_name":"Proof of Persistent Aliveness","publication_year":2026,"publication_date":"2026-01-21","ids":{"openalex":"https://openalex.org/W7125549163","doi":"https://doi.org/10.1109/tdsc.2026.3656357"},"language":"en","primary_location":{"id":"doi:10.1109/tdsc.2026.3656357","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tdsc.2026.3656357","pdf_url":null,"source":{"id":"https://openalex.org/S133795288","display_name":"IEEE Transactions on Dependable and Secure Computing","issn_l":"1545-5971","issn":["1545-5971","1941-0018","2160-9209"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","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 Dependable and Secure Computing","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/A5123393061","display_name":"Xuelian Cao","orcid":null},"institutions":[{"id":"https://openalex.org/I142108993","display_name":"Southwest University","ror":"https://ror.org/01kj4z117","country_code":"CN","type":"education","lineage":["https://openalex.org/I142108993"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xuelian Cao","raw_affiliation_strings":["Southwest University, Chongqing, China"],"raw_orcid":"https://orcid.org/0000-0002-2227-9896","affiliations":[{"raw_affiliation_string":"Southwest University, Chongqing, China","institution_ids":["https://openalex.org/I142108993"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Zheng Yang","orcid":"https://orcid.org/0000-0001-8610-9936"},"institutions":[{"id":"https://openalex.org/I142108993","display_name":"Southwest University","ror":"https://ror.org/01kj4z117","country_code":"CN","type":"education","lineage":["https://openalex.org/I142108993"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zheng Yang","raw_affiliation_strings":["Southwest University, Chongqing, China"],"raw_orcid":"https://orcid.org/0000-0001-8610-9936","affiliations":[{"raw_affiliation_string":"Southwest University, Chongqing, China","institution_ids":["https://openalex.org/I142108993"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5123641305","display_name":"Jianting Ning","orcid":null},"institutions":[{"id":"https://openalex.org/I1328775524","display_name":"Zhejiang Sci-Tech University","ror":"https://ror.org/03893we55","country_code":"CN","type":"education","lineage":["https://openalex.org/I1328775524"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianting Ning","raw_affiliation_strings":["College of Information Science and Engineering, Zhejiang Sci-Tech University, Hangzhou, China"],"raw_orcid":"https://orcid.org/0000-0001-7165-398X","affiliations":[{"raw_affiliation_string":"College of Information Science and Engineering, Zhejiang Sci-Tech University, Hangzhou, China","institution_ids":["https://openalex.org/I1328775524"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084086792","display_name":"Chenglu Jin","orcid":"https://orcid.org/0000-0001-6306-8019"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832","https://openalex.org/I4405262988"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Chenglu Jin","raw_affiliation_strings":["CWI Amsterdam, Amsterdam, Netherlands"],"raw_orcid":"https://orcid.org/0000-0001-6306-8019","affiliations":[{"raw_affiliation_string":"CWI Amsterdam, Amsterdam, Netherlands","institution_ids":["https://openalex.org/I1341640284"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Zhiming Liu","orcid":"https://orcid.org/0000-0001-9771-3071"},"institutions":[{"id":"https://openalex.org/I142108993","display_name":"Southwest University","ror":"https://ror.org/01kj4z117","country_code":"CN","type":"education","lineage":["https://openalex.org/I142108993"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhiming Liu","raw_affiliation_strings":["Southwest University, Chongqing, China"],"raw_orcid":"https://orcid.org/0000-0001-9771-3071","affiliations":[{"raw_affiliation_string":"Southwest University, Chongqing, China","institution_ids":["https://openalex.org/I142108993"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5123701416","display_name":"Jianying Zhou","orcid":null},"institutions":[{"id":"https://openalex.org/I152815399","display_name":"Singapore University of Technology and Design","ror":"https://ror.org/05j6fvn87","country_code":"SG","type":"education","lineage":["https://openalex.org/I152815399"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Jianying Zhou","raw_affiliation_strings":["iTrust, Singapore University of Technology and Design, Singapore"],"raw_orcid":"https://orcid.org/0000-0003-0594-0432","affiliations":[{"raw_affiliation_string":"iTrust, Singapore University of Technology and Design, Singapore","institution_ids":["https://openalex.org/I152815399"]}]}],"institutions":[],"countries_distinct_count":3,"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.07207561,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"23","issue":"3","first_page":"5559","last_page":"5576"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13044","display_name":"Biofield Effects and Biophysics","score":0.06350000202655792,"subfield":{"id":"https://openalex.org/subfields/2737","display_name":"Physiology"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},"topics":[{"id":"https://openalex.org/T13044","display_name":"Biofield Effects and Biophysics","score":0.06350000202655792,"subfield":{"id":"https://openalex.org/subfields/2737","display_name":"Physiology"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T12469","display_name":"Chaos, Complexity, and Education","score":0.02329999953508377,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11445","display_name":"Origins and Evolution of Life","score":0.02280000038444996,"subfield":{"id":"https://openalex.org/subfields/3103","display_name":"Astronomy and Astrophysics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.8654000163078308},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.49219998717308044},{"id":"https://openalex.org/keywords/proof-of-concept","display_name":"Proof of concept","score":0.48420000076293945},{"id":"https://openalex.org/keywords/proof-of-work-system","display_name":"Proof-of-work system","score":0.45399999618530273},{"id":"https://openalex.org/keywords/cryptographic-primitive","display_name":"Cryptographic primitive","score":0.4465000033378601},{"id":"https://openalex.org/keywords/hash-function","display_name":"Hash function","score":0.420199990272522},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.39820000529289246},{"id":"https://openalex.org/keywords/zero-knowledge-proof","display_name":"Zero-knowledge proof","score":0.3750999867916107}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.8654000163078308},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7235000133514404},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.49219998717308044},{"id":"https://openalex.org/C124978682","wikidata":"https://www.wikidata.org/wiki/Q1201019","display_name":"Proof of concept","level":2,"score":0.48420000076293945},{"id":"https://openalex.org/C123436394","wikidata":"https://www.wikidata.org/wiki/Q7249984","display_name":"Proof-of-work system","level":3,"score":0.45399999618530273},{"id":"https://openalex.org/C15927051","wikidata":"https://www.wikidata.org/wiki/Q246593","display_name":"Cryptographic primitive","level":4,"score":0.4465000033378601},{"id":"https://openalex.org/C99138194","wikidata":"https://www.wikidata.org/wiki/Q183427","display_name":"Hash function","level":2,"score":0.420199990272522},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.41119998693466187},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.39820000529289246},{"id":"https://openalex.org/C176329583","wikidata":"https://www.wikidata.org/wiki/Q191943","display_name":"Zero-knowledge proof","level":3,"score":0.3750999867916107},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37369999289512634},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.3450999855995178},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.33500000834465027},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.33000001311302185},{"id":"https://openalex.org/C131672422","wikidata":"https://www.wikidata.org/wiki/Q852594","display_name":"Provable security","level":3,"score":0.3273000121116638},{"id":"https://openalex.org/C2779585090","wikidata":"https://www.wikidata.org/wiki/Q3457762","display_name":"Resilience (materials science)","level":2,"score":0.2856000065803528},{"id":"https://openalex.org/C203265346","wikidata":"https://www.wikidata.org/wiki/Q11387554","display_name":"Proof assistant","level":3,"score":0.2773999869823456},{"id":"https://openalex.org/C94461902","wikidata":"https://www.wikidata.org/wiki/Q2762418","display_name":"Formal proof","level":3,"score":0.2736999988555908},{"id":"https://openalex.org/C118463975","wikidata":"https://www.wikidata.org/wiki/Q220849","display_name":"Digital signature","level":3,"score":0.26600000262260437},{"id":"https://openalex.org/C2777810591","wikidata":"https://www.wikidata.org/wiki/Q16861606","display_name":"Credential","level":2,"score":0.2614000141620636}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tdsc.2026.3656357","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tdsc.2026.3656357","pdf_url":null,"source":{"id":"https://openalex.org/S133795288","display_name":"IEEE Transactions on Dependable and Secure Computing","issn_l":"1545-5971","issn":["1545-5971","1941-0018","2160-9209"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","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 Dependable and Secure Computing","raw_type":"journal-article"},{"id":"pmh:oai:cwi.nl:36231","is_oa":false,"landing_page_url":"https://ir.cwi.nl/pub/36231","pdf_url":null,"source":{"id":"https://openalex.org/S7407055335","display_name":"Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Transactions on Dependable and Secure Computing","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1779290825","display_name":null,"funder_award_id":"12441101","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6056230449","display_name":null,"funder_award_id":"62372386","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6976170187","display_name":null,"funder_award_id":"92582113","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"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W851575271","https://openalex.org/W1498063506","https://openalex.org/W1503064432","https://openalex.org/W1579435243","https://openalex.org/W1598984807","https://openalex.org/W1601379374","https://openalex.org/W1882598960","https://openalex.org/W2005132950","https://openalex.org/W2097834299","https://openalex.org/W2099613071","https://openalex.org/W2108475361","https://openalex.org/W2113446256","https://openalex.org/W2132303913","https://openalex.org/W2167606175","https://openalex.org/W2260235112","https://openalex.org/W2294833833","https://openalex.org/W2577467405","https://openalex.org/W2625217561","https://openalex.org/W2752178278","https://openalex.org/W2765321722","https://openalex.org/W2794241306","https://openalex.org/W2884999233","https://openalex.org/W2898409100","https://openalex.org/W2914206182","https://openalex.org/W2915352631","https://openalex.org/W2967051452","https://openalex.org/W2987483625","https://openalex.org/W2990618836","https://openalex.org/W3118647323","https://openalex.org/W3139550479","https://openalex.org/W3199280351","https://openalex.org/W4205348036","https://openalex.org/W4210531213","https://openalex.org/W4245217859","https://openalex.org/W4251817224","https://openalex.org/W4309941903","https://openalex.org/W4317928275","https://openalex.org/W4384948603","https://openalex.org/W4388853642"],"related_works":[],"abstract_inverted_index":{"Proof":[0,59,118],"of":[1,18,40,60,119,168,188],"Aliveness":[2,62],"(PoA)":[3],"has":[4],"emerged":[5],"as":[6],"a":[7,38,54,92,115,134,159,166],"useful":[8],"cryptographic":[9],"concept":[10],"for":[11,21],"periodically":[12],"ascertaining":[13],"the":[14,43,82,99,169,197],"operational":[15],"status":[16],"(aliveness)":[17],"devices,":[19],"especially":[20],"those":[22],"in":[23,91,146,194],"cyber-physical":[24],"systems.":[25],"However,":[26],"existing":[27],"PoA":[28],"schemes":[29],"exhibit":[30],"shortcomings":[31],"stemming":[32],"from":[33,175],"intermittent":[34],"aliveness":[35,70,89,179,189],"proofs":[36,90,180,190],"and":[37,72,123,136,158],"lack":[39],"resilience":[41],"against":[42],"threats":[44,100],"caused":[45],"by":[46,50,80,102],"malicious":[47,103],"verifiers.":[48,104],"Motivated":[49],"this,":[51],"we":[52,109,132],"introduce":[53],"new":[55,67,112],"security":[56,83],"notion":[57],"called":[58],"Persistent":[61],"(PoPA),":[63],"which":[64,142],"encompasses":[65],"two":[66,111],"properties:":[68],"persistent":[69,88],"(PAlive)":[71],"audit":[73],"(Audit).":[74],"Our":[75],"PAlive":[76],"strengthens":[77],"prior":[78],"work":[79],"addressing":[81],"concerns":[84],"associated":[85],"with":[86,181,196],"generating":[87],"continuous":[93],"time":[94],"manner,":[95],"while":[96],"Audit":[97],"covers":[98],"posed":[101],"To":[105],"efficiently":[106],"realize":[107],"PoPA,":[108],"developed":[110],"building":[113],"blocks:":[114],"deterministic":[116],"hash-based":[117],"Work":[120],"(HPoW)":[121],"scheme":[122,173],"private":[124],"tweakable":[125],"hash":[126],"(PTH)":[127],"functions.":[128],"Using":[129],"these":[130],"primitives,":[131],"propose":[133],"scalable":[135],"lightweight":[137],"PoPA":[138,148],"construction,":[139],"named":[140],"SPAC,":[141],"is":[143],"provably":[144],"secure":[145],"our":[147],"model":[149],"without":[150],"relying":[151],"on":[152],"random":[153],"oracles.":[154],"SPAC":[155],"leverages":[156],"HPoW":[157],"customized":[160],"authenticated":[161],"credential":[162],"structure":[163],"that":[164],"employs":[165],"variant":[167],"Winternitz":[170],"one-time":[171],"signature":[172],"derived":[174],"PTH,":[176],"enabling":[177],"unlimited":[178],"very":[182],"small":[183],"proof":[184,199],"size.":[185],"Over":[186],"93%":[187],"are":[191],"84":[192],"bytes":[193],"size,":[195],"worst-case":[198],"size":[200],"being":[201],"only":[202],"372":[203],"bytes.":[204]},"counts_by_year":[],"updated_date":"2026-05-15T06:05:50.897203","created_date":"2026-01-24T00:00:00"}