{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:C4BTEBESUQRLI2PISYJPB7SJJL","merge_version":"pith-open-graph-merge-v1","event_count":4,"valid_event_count":4,"invalid_event_count":0,"equivocation_count":1,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"c10e768c9f45b97ef949a46c76a1ec0ffad7f074a4be53feddadc965f07441ba","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2026-05-12T07:41:31Z","title_canon_sha256":"ae7dcf4e03829a521412634c4cd9ff5ea1fe370837d0ab47b5252f59e7464077"},"schema_version":"1.0","source":{"id":"2605.11682","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.11682","created_at":"2026-05-21T01:04:27Z"},{"alias_kind":"arxiv_version","alias_value":"2605.11682v2","created_at":"2026-05-21T01:04:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.11682","created_at":"2026-05-21T01:04:27Z"},{"alias_kind":"pith_short_12","alias_value":"C4BTEBESUQRL","created_at":"2026-05-21T01:04:27Z"},{"alias_kind":"pith_short_16","alias_value":"C4BTEBESUQRLI2PI","created_at":"2026-05-21T01:04:27Z"},{"alias_kind":"pith_short_8","alias_value":"C4BTEBES","created_at":"2026-05-21T01:04:27Z"}],"graph_snapshots":[{"event_id":"sha256:3f612c974c1dba7991b48ebdfc830fd860130a7aed2f8f5d06ca3dbfade30832","target":"graph","created_at":"2026-05-21T01:04:27Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"Experimental evaluation using a representative CPS testbed and MITRE ATT&CK campaign-inspired attack scenarios demonstrates sub-millisecond twin synchronization latency and up to 21.5% faster threat detection compared with deterministic reasoning alone."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The representative CPS testbed and MITRE ATT&CK-inspired scenarios sufficiently capture the complexity, heterogeneity, and real-time dynamics of actual mission-critical cyber-physical systems."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"HySecTwin integrates semantic modeling with hybrid deterministic and fuzzy reasoning in digital twins to achieve faster, more interpretable threat detection in CPS with sub-millisecond latency."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"HySecTwin combines semantic modeling with hybrid deterministic and fuzzy reasoning in digital twins to deliver faster, explainable threat detection for cyber-physical systems."}],"snapshot_sha256":"7a0b68b400b7ade5cf53994632fb8cf7b12deede5824123d4713b04ca015af16"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":false,"detectors_run":[{"findings_count":0,"name":"doi_title_agreement","ran_at":"2026-05-21T00:01:32.289154Z","status":"completed","version":"1.0.0"},{"findings_count":2,"name":"doi_compliance","ran_at":"2026-05-20T14:07:05.904847Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"claim_evidence","ran_at":"2026-05-20T03:42:00.520264Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-05-19T11:40:03.296616Z","status":"completed","version":"1.0.0"}],"endpoint":"/pith/2605.11682/integrity.json","findings":[{"audited_at":"2026-05-19T08:13:23.629093Z","detected_arxiv_id":null,"detected_doi":"10.1016/j.cose.2022.102578","detector":"doi_compliance","finding_type":"recoverable_identifier","note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1016/j.cose.2022.102578) was visible in the surrounding text but could not be confirmed against doi.org as printed.","ref_index":38,"severity":"advisory","verdict_class":"incontrovertible"},{"audited_at":"2026-05-19T08:13:23.629093Z","detected_arxiv_id":null,"detected_doi":"10.1145/3597507","detector":"doi_compliance","finding_type":"unresolvable_identifier","note":"Identifier '10.1145/3597507' is syntactically valid but the DOI registry (doi.org) returned 404, and Crossref / OpenAlex / internal corpus also have no record. The cited work could not be located through any authoritative source.","ref_index":51,"severity":"critical","verdict_class":"cross_source"}],"snapshot_sha256":"4938327102174ea8d9915c037593355d4311deb2ec09ee370166c867b736d493","summary":{"advisory":1,"by_detector":{"doi_compliance":{"advisory":1,"critical":1,"informational":0,"total":2}},"critical":1,"informational":0}},"paper":{"abstract_excerpt":"Existing Digital Twin (DT) approaches often lack semantic reasoning capabilities for effective cybersecurity modelling in Cyber-Physical Systems (CPS). This paper presents HySecTwin, a knowledge-driven digital twin architecture that places automated reasoning at the core of real-time threat detection. HySecTwin incorporates semantic modelling to transform heterogeneous CPS telemetry, device attributes, and operational relationships into machine-interpretable representations, combined with an embedded reasoning engine operating over contextualized system states. Unlike opaque detection methods,","authors_text":"Ahmad Moshin, David Holmes, Helge Yanicke, Iqbal Sarker, Leslie Sikos, Surya Nepal","cross_cats":[],"headline":"HySecTwin combines semantic modeling with hybrid deterministic and fuzzy reasoning in digital twins to deliver faster, explainable threat detection for cyber-physical systems.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2026-05-12T07:41:31Z","title":"HySecTwin: A Knowledge-Driven Digital Twin Framework Augmented with Hybrid Reasoning for Cyber-Physical Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.11682","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-13T00:57:24.542560Z","id":"6bdc833b-c3b0-4a2a-84be-6320e1ece9fc","model_set":{"reader":"grok-4.3"},"one_line_summary":"HySecTwin integrates semantic modeling with hybrid deterministic and fuzzy reasoning in digital twins to achieve faster, more interpretable threat detection in CPS with sub-millisecond latency.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"HySecTwin combines semantic modeling with hybrid deterministic and fuzzy reasoning in digital twins to deliver faster, explainable threat detection for cyber-physical systems.","strongest_claim":"Experimental evaluation using a representative CPS testbed and MITRE ATT&CK campaign-inspired attack scenarios demonstrates sub-millisecond twin synchronization latency and up to 21.5% faster threat detection compared with deterministic reasoning alone.","weakest_assumption":"The representative CPS testbed and MITRE ATT&CK-inspired scenarios sufficiently capture the complexity, heterogeneity, and real-time dynamics of actual mission-critical cyber-physical systems."}},"verdict_id":"6bdc833b-c3b0-4a2a-84be-6320e1ece9fc"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:47588b937e9e1512a0aa5719bcfb0c4c8afc5811c42cd6fac4b8ca78e1ffbf12","target":"record","created_at":"2026-05-21T01:04:27Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"c10e768c9f45b97ef949a46c76a1ec0ffad7f074a4be53feddadc965f07441ba","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2026-05-12T07:41:31Z","title_canon_sha256":"ae7dcf4e03829a521412634c4cd9ff5ea1fe370837d0ab47b5252f59e7464077"},"schema_version":"1.0","source":{"id":"2605.11682","kind":"arxiv","version":2}},"canonical_sha256":"1703320492a422b469e89612f0fe494aefde507cf614c3d06388d7cf1491fb30","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1703320492a422b469e89612f0fe494aefde507cf614c3d06388d7cf1491fb30","first_computed_at":"2026-05-21T01:04:27.704079Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-21T01:04:27.704079Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PXMCUqeQewOvvzC2VU6VzR2xlzKSzCIQvQTRBd1ko2cG09kxiikcXHTEQ8ANB7fJSdSlwMPMmRjvLscaEFnQCw==","signature_status":"signed_v1","signed_at":"2026-05-21T01:04:27.704837Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.11682","source_kind":"arxiv","source_version":2}}},"equivocations":[{"signer_id":"pith.science","event_type":"integrity_finding","target":"integrity","event_ids":["sha256:1cd7ebb28493ffa508da68195c5424753edb5b559b47023b4bd1cc53239f5725","sha256:3dcebad1c96f0f0897eb0f5341c1aa3141ab5472c521ed37a6d3279b5e789683"]}],"invalid_events":[],"applied_event_ids":["sha256:47588b937e9e1512a0aa5719bcfb0c4c8afc5811c42cd6fac4b8ca78e1ffbf12","sha256:3f612c974c1dba7991b48ebdfc830fd860130a7aed2f8f5d06ca3dbfade30832"],"state_sha256":"6740dd13a08683e988d05c8cd7b0c32b36871633290066c5b72beb2e5560c224"}