{"id":"https://openalex.org/W7225742018","doi":"https://doi.org/10.5281/zenodo.24109513","title":"Target-Specific Safe Reconstruction under Adversarial Faults: Exact Finite Certificates and Diagnostic Complexity","display_name":"Target-Specific Safe Reconstruction under Adversarial Faults: Exact Finite Certificates and Diagnostic Complexity","publication_year":2026,"publication_date":"2026-11-10","ids":{"openalex":"https://openalex.org/W7225742018","doi":"https://doi.org/10.5281/zenodo.24109513"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24109513","doi":"https://doi.org/10.5281/zenodo.24109513","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24109513","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24109513","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5158272999","display_name":"Ivo Vajc","orcid":"https://orcid.org/0009-0005-5145-6491","observed_orcids":["https://orcid.org/0009-0005-5145-6491"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Vajc, Ivo","raw_affiliation_strings":["ORCID"],"raw_orcid":"https://orcid.org/0009-0005-5145-6491","affiliations":[{"raw_affiliation_string":"ORCID","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5158272999"],"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/T10142","display_name":"Formal Methods in Verification","score":0.46779999136924744,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.46779999136924744,"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/T11130","display_name":"Coding theory and cryptography","score":0.2207999974489212,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.045499999076128006,"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"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.5076000094413757},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5037000179290771},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5037000179290771},{"id":"https://openalex.org/C149728462","wikidata":"https://www.wikidata.org/wiki/Q751319","display_name":"Minimax","level":2,"score":0.48660001158714294},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.4855000078678131},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4316999912261963},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4131999909877777},{"id":"https://openalex.org/C57273362","wikidata":"https://www.wikidata.org/wiki/Q576722","display_name":"Decoding methods","level":2,"score":0.4090999960899353},{"id":"https://openalex.org/C37736160","wikidata":"https://www.wikidata.org/wiki/Q1801315","display_name":"Adversarial system","level":2,"score":0.40450000762939453},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.3970000147819519},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.3865000009536743},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.3840999901294708},{"id":"https://openalex.org/C186633575","wikidata":"https://www.wikidata.org/wiki/Q845060","display_name":"Maxima and minima","level":2,"score":0.3481999933719635},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.34470000863075256},{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.3431999981403351},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.3133000135421753},{"id":"https://openalex.org/C95623464","wikidata":"https://www.wikidata.org/wiki/Q1096149","display_name":"Classifier (UML)","level":2,"score":0.31310001015663147},{"id":"https://openalex.org/C2780012671","wikidata":"https://www.wikidata.org/wiki/Q1343870","display_name":"Corollary","level":2,"score":0.2696000039577484},{"id":"https://openalex.org/C55282118","wikidata":"https://www.wikidata.org/wiki/Q252683","display_name":"Snapshot (computer storage)","level":2,"score":0.25679999589920044}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24109513","doi":"https://doi.org/10.5281/zenodo.24109513","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24109513","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.24109514","doi":"https://doi.org/10.5281/zenodo.24109514","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24109514","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.24109513","doi":"https://doi.org/10.5281/zenodo.24109513","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24109513","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Target-Specific":[0,530],"Safe":[1,531],"Reconstruction":[2,532],"under":[3,352,368,533],"Adversarial":[4,534],"Faults:":[5,535],"Exact":[6,149,536],"Finite":[7,537],"Certificates":[8,538],"and":[9,20,47,73,87,114,130,145,166,210,225,243,276,281,314,347,419,425,445,486,497,513,522,539,567,579],"Diagnostic":[10,540],"Complexity":[11,541],"This":[12,288,572],"preprint":[13],"investigates":[14,140],"target-specific":[15],"reconstruction,":[16],"safe":[17,41],"diagnostic":[18,55,143,252],"decision-making,":[19],"robustness":[21],"against":[22],"adversarial":[23,62,323],"observation":[24,68,109,241],"faults":[25],"within":[26,459],"an":[27,282,290,306,583],"explicitly":[28,307],"stipulated":[29,127],"finite":[30,202,237,309],"twelve-state":[31,310],"model.":[32,311,325],"The":[33,80,137,195,230,263,302,312,326,344,361,428,453,549],"framework":[34],"distinguishes":[35],"three":[36,77,159,192],"reconstruction":[37,157,189],"objectives:":[38],"determining":[39],"a":[40,44,90,153],"action,":[42],"identifying":[43],"recovery":[45],"profile,":[46],"reconstructing":[48],"the":[49,65,76,101,126,175,221,235,266,321,369,400,434,438,442,449,460,480,491,511,518,524,528,554,558,561,575],"complete":[50],"hidden":[51],"state.":[52],"For":[53,89],"adaptive":[54,313],"strategies":[56],"subject":[57],"to":[58,121,556],"at":[59,95,179],"most":[60,96],"one":[61,97,181],"bit":[63],"substitution,":[64],"exact":[66],"minimax":[67],"depths":[69],"are":[70,84,111,131,198,232,318,350],"3,":[71,85,113,115],"5,":[72],"9":[74],"for":[75,155,187,479,553],"respective":[78],"objectives.":[79],"corresponding":[81],"nonadaptive":[82,315],"minima":[83],"6,":[86],"12.":[88],"separate":[91],"fault":[92,257,381],"model":[93],"permitting":[94],"arbitrary":[98,122],"whole-domain":[99,322],"replacement,":[100],"minimum":[102],"numbers":[103],"of":[104,285,374,391,402,448,527,569],"additional":[105,160,168,193],"independently":[106,584],"corruptible":[107],"binary":[108,123],"domains":[110,161,169],"2,":[112],"respectively.":[116],"These":[117],"lower":[118],"bounds":[119],"apply":[120],"functions":[124],"on":[125,234,298],"state":[128],"space":[129],"attained":[132],"by":[133,200],"explicit":[134,201,283],"XOR-based":[135],"constructions.":[136],"study":[138],"further":[139],"restricted":[141],"reversible":[142],"protocols":[144],"their":[146],"implementation":[147],"costs.":[148],"exhaustive":[150,204],"enumeration":[151],"identifies":[152],"trade-off":[154],"full-state":[156,188],"between":[158],"requiring":[162,170],"nine":[163],"basic":[164,172],"reads":[165],"four":[167],"eight":[171],"reads.":[173],"Within":[174],"specified":[176],"protocol":[177,184],"catalogue,":[178],"least":[180],"three-input":[182],"parity":[183],"is":[185,289,366,388],"necessary":[186],"using":[190],"only":[191,220],"domains.":[194],"mathematical":[196,261,293,386,406],"results":[197,231,304],"supported":[199],"certificates,":[203],"combinatorial":[205],"searches,":[206],"robust":[207],"decoding":[208],"checks,":[209],"two":[211,327,454],"separately":[212,332],"implemented":[213],"Python":[214,222,270,329,363,410],"verification":[215,271,412,455],"programs.":[216],"Both":[217],"programs":[218,456],"use":[219],"standard":[223],"library":[224],"can":[226],"be":[227],"executed":[228],"offline.":[229],"conditional":[233],"stated":[236],"model,":[238],"transition":[239],"rules,":[240],"functions,":[242],"fault-domain":[244],"independence":[245],"assumptions.":[246],"They":[247],"do":[248,337],"not":[249,338,472,581],"establish":[250],"physical":[251,378],"safety,":[253,377],"empirical":[254],"recoverability,":[255,379],"hardware-level":[256,380],"independence,":[258,382],"or":[259,383],"general":[260,385],"novelty.":[262],"release":[264,526],"includes":[265],"manuscript,":[267],"LaTeX":[268],"source,":[269],"programs,":[272,440,521],"execution":[273],"logs,":[274],"proof":[275,421],"literature":[277,417],"audits,":[278],"licensing":[279,565],"information,":[280],"declaration":[284,573],"AI":[286,392,570],"assistance.":[287,571],"author-approved,":[291],"non-peer-reviewed":[292],"preprint,":[294],"version":[295],"1.0,":[296],"released":[297],"10":[299,546],"November":[300,547],"2026.":[301],"reported":[303,443],"concern":[305],"defined":[308],"bit-error":[316],"models":[317],"distinct":[319],"from":[320],"replacement":[324],"included":[328],"implementations":[330],"provide":[331],"coded":[333],"computational":[334,414,439,468,520],"verification,":[335],"but":[336,470],"constitute":[339,473,582],"independent":[340,474],"external":[341],"peer":[342,476],"review.":[343,477],"original":[345,362],"manuscript":[346,426,512],"supplementary":[348],"prose":[349],"distributed":[351,367],"Creative":[353],"Commons":[354],"Attribution":[355],"4.0":[356],"International":[357],"(CC":[358],"BY":[359],"4.0).":[360],"source":[364],"code":[365],"MIT":[370],"License.":[371],"No":[372],"claim":[373],"experimentally":[375],"demonstrated":[376],"established":[384],"novelty":[387],"made.":[389],"Declaration":[390],"Assistance":[393],"OpenAI":[394],"ChatGPT":[395],"was":[396],"used":[397],"extensively":[398],"during":[399],"development":[401],"this":[403],"research,":[404],"including":[405,560],"exploration,":[407],"finite-model":[408],"design,":[409],"programming,":[411],"strategy,":[413],"certificate":[415],"construction,":[416],"discovery":[418],"assessment,":[420],"exposition,":[422],"bibliographic":[423,484],"checking,":[424],"preparation.":[427],"human":[429,493],"author,":[430],"Ivo":[431,500],"Vajc,":[432,501],"reviewed":[433,510],"research":[435,463,515],"materials,":[436,516],"tested":[437,517],"examined":[441],"results,":[444],"authorized":[446,523],"preparation":[447],"final":[450],"public":[451,525],"release.":[452],"were":[457],"developed":[458],"same":[461],"AI-assisted":[462],"workflow.":[464],"Their":[465],"agreement":[466],"provides":[467],"cross-verification":[469],"does":[471,580],"third-party":[475],"Responsibility":[478],"scientific":[481,563],"content,":[482],"interpretation,":[483],"accuracy,":[485],"publication":[487],"decision":[488,555],"remains":[489],"with":[490],"named":[492],"author.":[494],"Author":[495],"Approval":[496],"Publication":[498],"Authorization":[499,544],"Independent":[502],"Researcher,":[503],"ORCID":[504],"0009-0005-5145-6491,":[505],"confirms":[506],"that":[507],"he":[508],"has":[509],"associated":[514],"supplied":[519],"preprint:":[529],"Version:":[542],"1.0":[543],"date:":[545],"2026":[548],"author":[550],"accepts":[551],"responsibility":[552],"publish":[557],"work,":[559],"declared":[562],"limitations,":[564],"conditions,":[566],"disclosure":[568],"records":[574],"author's":[576],"expressed":[577],"authorization":[578],"authenticated":[585],"digital":[586],"signature.":[587]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-11-11T00:00:00"}