{"id":"https://openalex.org/W4388853642","doi":"https://doi.org/10.1109/tdsc.2023.3335188","title":"Optimizing Proof of Aliveness in Cyber-Physical Systems","display_name":"Optimizing Proof of Aliveness in Cyber-Physical Systems","publication_year":2023,"publication_date":"2023-11-21","ids":{"openalex":"https://openalex.org/W4388853642","doi":"https://doi.org/10.1109/tdsc.2023.3335188"},"language":"en","primary_location":{"id":"doi:10.1109/tdsc.2023.3335188","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tdsc.2023.3335188","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":true,"oa_status":"green","oa_url":"https://research.vu.nl/en/publications/c86f9b7c-0609-4508-a962-31c1ec087c97","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044348012","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/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":["Centrum Wiskunde & Informatica, Amsterdam, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0001-6306-8019","affiliations":[{"raw_affiliation_string":"Centrum Wiskunde & Informatica, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077242432","display_name":"Xuelian Cao","orcid":"https://orcid.org/0000-0002-2227-9896"},"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":"https://openalex.org/A5075756968","display_name":"Marten van Dijk","orcid":"https://orcid.org/0000-0001-9388-8050"},"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"]},{"id":"https://openalex.org/I140172145","display_name":"University of Connecticut","ror":"https://ror.org/02der9h97","country_code":"US","type":"education","lineage":["https://openalex.org/I140172145"]},{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL","US"],"is_corresponding":false,"raw_author_name":"Marten van Dijk","raw_affiliation_strings":["Centrum Wiskunde & Informatica, Amsterdam, The Netherlands","University of Connecticut, Storrs, CT, USA","Vrije Universiteit, Amsterdam, HV, Netherelands"],"raw_orcid":"https://orcid.org/0000-0001-9388-8050","affiliations":[{"raw_affiliation_string":"Centrum Wiskunde & Informatica, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"University of Connecticut, Storrs, CT, USA","institution_ids":["https://openalex.org/I140172145"]},{"raw_affiliation_string":"Vrije Universiteit, Amsterdam, HV, Netherelands","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008266220","display_name":"Jianying Zhou","orcid":"https://orcid.org/0000-0003-0594-0432"},"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":4,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2645,"currency":"USD","value_usd":2645},"apc_paid":null,"fwci":0.2581,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.65410992,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":97},"biblio":{"volume":"21","issue":"4","first_page":"3610","last_page":"3628"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9994000196456909,"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.9994000196456909,"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/T11800","display_name":"User Authentication and Security Systems","score":0.9991000294685364,"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/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9980000257492065,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7935043573379517},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.6012080907821655},{"id":"https://openalex.org/keywords/gas-meter-prover","display_name":"Gas meter prover","score":0.5628519058227539},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.5485103130340576},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.380863755941391},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.32337823510169983},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16991841793060303}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7935043573379517},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6012080907821655},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.5628519058227539},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.5485103130340576},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.380863755941391},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.32337823510169983},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16991841793060303},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/tdsc.2023.3335188","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tdsc.2023.3335188","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:research.vu.nl:openaire/c86f9b7c-0609-4508-a962-31c1ec087c97","is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/c86f9b7c-0609-4508-a962-31c1ec087c97","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Yang, Z, Jin, C, Cao, X, Van Dijk, M & Zhou, J 2024, 'Optimizing Proof of Aliveness in Cyber-Physical Systems', IEEE Transactions on Dependable and Secure Computing, vol. 21, no. 4, pp. 3610-3628. https://doi.org/10.1109/TDSC.2023.3335188","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:cwi.nl:33586","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/33586","pdf_url":"https://ir.cwi.nl/pub/33586/Proof_of_Aliveness__ACSAC___Extension_-4-.pdf","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":{"id":"pmh:oai:research.vu.nl:openaire/c86f9b7c-0609-4508-a962-31c1ec087c97","is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/c86f9b7c-0609-4508-a962-31c1ec087c97","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Yang, Z, Jin, C, Cao, X, Van Dijk, M & Zhou, J 2024, 'Optimizing Proof of Aliveness in Cyber-Physical Systems', IEEE Transactions on Dependable and Secure Computing, vol. 21, no. 4, pp. 3610-3628. https://doi.org/10.1109/TDSC.2023.3335188","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1174096468","display_name":null,"funder_award_id":"62372386","funder_id":"https://openalex.org/F4320323172","funder_display_name":"Natural Science Foundation of Chongqing"},{"id":"https://openalex.org/G1366235440","display_name":null,"funder_award_id":"CSTB2022NSCQMSX0437","funder_id":"https://openalex.org/F4320323172","funder_display_name":"Natural Science Foundation of Chongqing"},{"id":"https://openalex.org/G2796437284","display_name":null,"funder_award_id":"CSTB2022NSCQ","funder_id":"https://openalex.org/F4320323172","funder_display_name":"Natural Science Foundation of Chongqing"},{"id":"https://openalex.org/G4892694848","display_name":null,"funder_award_id":"CSTB2022NSCQ-MSX0437","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"}],"funders":[{"id":"https://openalex.org/F4320320671","display_name":"National Research Foundation","ror":"https://ror.org/05s0g1g46"},{"id":"https://openalex.org/F4320320709","display_name":"National Research Foundation Singapore","ror":"https://ror.org/03cpyc314"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320323172","display_name":"Natural Science Foundation of Chongqing","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320327639","display_name":"Centre Scientifique et Technique du B\u00e2timent","ror":"https://ror.org/02fsd1928"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W115629558","https://openalex.org/W135071919","https://openalex.org/W201721620","https://openalex.org/W1575640061","https://openalex.org/W1588151746","https://openalex.org/W1996270930","https://openalex.org/W2024296478","https://openalex.org/W2081869611","https://openalex.org/W2088097115","https://openalex.org/W2089831233","https://openalex.org/W2103058157","https://openalex.org/W2113446256","https://openalex.org/W2117362057","https://openalex.org/W2123845384","https://openalex.org/W2132303913","https://openalex.org/W2150566941","https://openalex.org/W2167606175","https://openalex.org/W2169633417","https://openalex.org/W2184570813","https://openalex.org/W2254700249","https://openalex.org/W2355550369","https://openalex.org/W2399200320","https://openalex.org/W2400450849","https://openalex.org/W2480081573","https://openalex.org/W2598805891","https://openalex.org/W2775534077","https://openalex.org/W2945937333","https://openalex.org/W2947306211","https://openalex.org/W2953324540","https://openalex.org/W3091946331","https://openalex.org/W3118647323","https://openalex.org/W3164513951","https://openalex.org/W4210648461","https://openalex.org/W4226081207","https://openalex.org/W4233499556","https://openalex.org/W4251436657","https://openalex.org/W4254974527","https://openalex.org/W4256739667","https://openalex.org/W4282587088","https://openalex.org/W4300349690","https://openalex.org/W4313534921","https://openalex.org/W4317928280","https://openalex.org/W4368232621","https://openalex.org/W4381786410","https://openalex.org/W4385557138"],"related_works":["https://openalex.org/W2950202488","https://openalex.org/W2604424424","https://openalex.org/W2954326042","https://openalex.org/W1567449721","https://openalex.org/W765055999","https://openalex.org/W1970588133","https://openalex.org/W2745567114","https://openalex.org/W1763168562","https://openalex.org/W3100311625","https://openalex.org/W2777354851"],"abstract_inverted_index":{"At":[0],"ACSAC":[1,220],"2019,":[2],"we":[3,200,253,284,305],"introduced":[4],"a":[5,37,62,72,120,202,255,260,302],"new":[6,256],"cryptographic":[7],"primitive":[8],"called":[9],"proof":[10,47],"of":[11,25,48,78,84,91,101,142,150,187,192],"aliveness":[12,152],"(PoA),":[13],"allowing":[14],"us":[15,132],"to":[16,35,43,133,146,177,205,215,230,294],"remotely":[17],"and":[18,66,183,238,275,286],"automatically":[19],"track":[20],"the":[21,28,52,58,76,79,85,89,98,140,143,148,151,189,197,211,223,264,299,308],"running":[22],"status":[23],"(aliveness)":[24],"devices":[26],"in":[27,30,61,124,268],"fields":[29],"cyber-physical":[31],"systems.":[32],"We":[33,107],"proposed":[34],"use":[36,201],"one-way":[38],"function":[39],"(OWF)":[40],"chain":[41,60,123],"structure":[42,141],"build":[44],"an":[45,104,158],"efficient":[46,243],"aliveness,":[49],"such":[50],"that":[51,156],"prover":[53],"sends":[54],"every":[55],"node":[56,81],"on":[57,103,196,236,291,301],"OWF":[59,86,105,116,194],"reverse":[63],"order":[64],"periodically,":[65],"it":[67,239],"can":[68,162,276],"be":[69,163,228,277],"verified":[70],"by":[71,97,113,279],"remote":[73],"verifier":[74,198],"with":[75],"possession":[77],"tail":[80,190],"(last":[82],"node)":[83],"chain.":[87,106],"However,":[88],"practicality":[90],"this":[92,171,269],"initial":[93],"construction":[94,112,145],"is":[95,176,240,272],"limited":[96],"finite":[99],"number":[100],"nodes":[102,191],"enhance":[108],"our":[109,125,173,180,216,231,288],"first":[110,232],"PoA":[111,127,160,182,281,289],"linking":[114],"multiple":[115,193],"chains":[117,195],"together":[118],"using":[119],"pseudo-random":[121],"generator":[122],"second":[126,144],"scheme.":[128],"This":[129,154,208],"enhancement":[130],"allows":[131],"integrate":[134],"one-time":[135],"signature":[136],"(OTS)":[137],"schemes":[138],"into":[139],"realize":[147],"auto-replenishment":[149,184,225,257],"proofs.":[153,313],"implies":[155],"securely":[157],"initialized":[159],"instance":[161],"used":[164,278],"forever":[165],"without":[166],"interruption":[167],"for":[168,310],"reinitialization.":[169],"In":[170],"work,":[172,270],"primary":[174],"motivation":[175],"further":[178],"improve":[179],"secondary":[181],"schemes.":[185,282],"Instead":[186],"storing":[188],"side,":[199],"Bloom":[203],"Filter":[204],"compress":[206],"them.":[207],"saves$":[209],"4.7$times":[210],"storage":[212],"cost":[213],"compared":[214],"previous":[217],"version":[218],"at":[219],"2019.":[221],"Moreover,":[222],"OTS-based":[224],"solution":[226],"cannot":[227],"applied":[229],"scheme":[233,258],"solely":[234],"based":[235],"OWFs,":[237],"not":[241],"so":[242],"despite":[244],"its":[245],"standard":[246],"model":[247,267],"security.":[248],"To":[249],"overcome":[250],"these":[251],"limitations,":[252],"design":[254],"from":[259],"hash-based":[261],"commitment":[262],"under":[263],"random":[265],"oracle":[266],"which":[271],"much":[273],"faster":[274],"both":[280],"Additionally,":[283],"implement":[285],"evaluate":[287],"constructions":[290],"Raspberry":[292],"Pis":[293],"demonstrate":[295],"their":[296],"performance.":[297],"Considering":[298],"implementation":[300],"storage/memory-constrained":[303],"device,":[304],"particularly":[306],"study":[307],"strategies":[309],"efficiently":[311],"generating":[312]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-08-22T07:34:49.880490","created_date":"2025-10-10T00:00:00"}