{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:Z5LHY42RUJFDYHCYLMT6ZTOYXK","short_pith_number":"pith:Z5LHY42R","canonical_record":{"source":{"id":"1710.06967","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-10-19T00:14:13Z","cross_cats_sorted":[],"title_canon_sha256":"e762493111d05898daeba376d9f822ad415fdf09acf65e47abe2d474140479ba","abstract_canon_sha256":"30178ed2685526b8cdc7e538268a4d3e2de89a4adc773d4ee9b5de549f336cc1"},"schema_version":"1.0"},"canonical_sha256":"cf567c7351a24a3c1c585b27eccdd8bab86ef4164053d45316387bbcf97a2cd7","source":{"kind":"arxiv","id":"1710.06967","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.06967","created_at":"2026-05-18T00:32:27Z"},{"alias_kind":"arxiv_version","alias_value":"1710.06967v1","created_at":"2026-05-18T00:32:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.06967","created_at":"2026-05-18T00:32:27Z"},{"alias_kind":"pith_short_12","alias_value":"Z5LHY42RUJFD","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_16","alias_value":"Z5LHY42RUJFDYHCY","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_8","alias_value":"Z5LHY42R","created_at":"2026-05-18T12:31:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:Z5LHY42RUJFDYHCYLMT6ZTOYXK","target":"record","payload":{"canonical_record":{"source":{"id":"1710.06967","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-10-19T00:14:13Z","cross_cats_sorted":[],"title_canon_sha256":"e762493111d05898daeba376d9f822ad415fdf09acf65e47abe2d474140479ba","abstract_canon_sha256":"30178ed2685526b8cdc7e538268a4d3e2de89a4adc773d4ee9b5de549f336cc1"},"schema_version":"1.0"},"canonical_sha256":"cf567c7351a24a3c1c585b27eccdd8bab86ef4164053d45316387bbcf97a2cd7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:32:27.523664Z","signature_b64":"ehkQX9z6PjbYbjuo3OM8CTb+AMYRiBz+PdzQGEtrWn/Go7YbihdfspTtaanK+6YhA2VK412kjS9NTOPFhTA7Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cf567c7351a24a3c1c585b27eccdd8bab86ef4164053d45316387bbcf97a2cd7","last_reissued_at":"2026-05-18T00:32:27.523059Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:32:27.523059Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1710.06967","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:32:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qsgXLRJUdntvwzqGfxNDDMnRh7s4vMOXEISm80eDgouyj6QiDkgKN87hdWRfbJus6h1/PkPzHFxeqaOBz07sCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T20:15:55.398800Z"},"content_sha256":"7401a0ba8ad046b19b14059094e21676e1ac4cd4fed7ab5bc98b4d8ab62297d8","schema_version":"1.0","event_id":"sha256:7401a0ba8ad046b19b14059094e21676e1ac4cd4fed7ab5bc98b4d8ab62297d8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:Z5LHY42RUJFDYHCYLMT6ZTOYXK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On Reachable Sets of Hidden CPS Sensor Attacks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Carlos Murguia, Justin Ruths","submitted_at":"2017-10-19T00:14:13Z","abstract_excerpt":"For given system dynamics, observer structure, and observer-based fault/attack detection procedure, we provide mathematical tools -- in terms of Linear Matrix Inequalities (LMIs) -- for computing outer ellipsoidal bounds on the set of estimation errors that attacks can induce while maintaining the alarm rate of the detector equal to its attack-free false alarm rate. We refer to these sets to as hidden reachable sets. The obtained ellipsoidal bounds on hidden reachable sets quantify the attacker's potential impact when it is constrained to stay hidden from the detector. We provide tools for min"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.06967","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:32:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"H1jwtxEEH+GSgZ+WSUkrWjrn8rZMxIqF4Zjv+g/ARm7+aIGtMseNG0CiLURNZUGOmeJ5LrxoGYQVluWeQdc1DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T20:15:55.399502Z"},"content_sha256":"93271b56b80c997b44d80f97397becd79660bd050a722bc089f8080ee32140a5","schema_version":"1.0","event_id":"sha256:93271b56b80c997b44d80f97397becd79660bd050a722bc089f8080ee32140a5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Z5LHY42RUJFDYHCYLMT6ZTOYXK/bundle.json","state_url":"https://pith.science/pith/Z5LHY42RUJFDYHCYLMT6ZTOYXK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Z5LHY42RUJFDYHCYLMT6ZTOYXK/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-31T20:15:55Z","links":{"resolver":"https://pith.science/pith/Z5LHY42RUJFDYHCYLMT6ZTOYXK","bundle":"https://pith.science/pith/Z5LHY42RUJFDYHCYLMT6ZTOYXK/bundle.json","state":"https://pith.science/pith/Z5LHY42RUJFDYHCYLMT6ZTOYXK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Z5LHY42RUJFDYHCYLMT6ZTOYXK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:Z5LHY42RUJFDYHCYLMT6ZTOYXK","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"30178ed2685526b8cdc7e538268a4d3e2de89a4adc773d4ee9b5de549f336cc1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-10-19T00:14:13Z","title_canon_sha256":"e762493111d05898daeba376d9f822ad415fdf09acf65e47abe2d474140479ba"},"schema_version":"1.0","source":{"id":"1710.06967","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.06967","created_at":"2026-05-18T00:32:27Z"},{"alias_kind":"arxiv_version","alias_value":"1710.06967v1","created_at":"2026-05-18T00:32:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.06967","created_at":"2026-05-18T00:32:27Z"},{"alias_kind":"pith_short_12","alias_value":"Z5LHY42RUJFD","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_16","alias_value":"Z5LHY42RUJFDYHCY","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_8","alias_value":"Z5LHY42R","created_at":"2026-05-18T12:31:59Z"}],"graph_snapshots":[{"event_id":"sha256:93271b56b80c997b44d80f97397becd79660bd050a722bc089f8080ee32140a5","target":"graph","created_at":"2026-05-18T00:32: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":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"For given system dynamics, observer structure, and observer-based fault/attack detection procedure, we provide mathematical tools -- in terms of Linear Matrix Inequalities (LMIs) -- for computing outer ellipsoidal bounds on the set of estimation errors that attacks can induce while maintaining the alarm rate of the detector equal to its attack-free false alarm rate. We refer to these sets to as hidden reachable sets. The obtained ellipsoidal bounds on hidden reachable sets quantify the attacker's potential impact when it is constrained to stay hidden from the detector. We provide tools for min","authors_text":"Carlos Murguia, Justin Ruths","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-10-19T00:14:13Z","title":"On Reachable Sets of Hidden CPS Sensor Attacks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.06967","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:7401a0ba8ad046b19b14059094e21676e1ac4cd4fed7ab5bc98b4d8ab62297d8","target":"record","created_at":"2026-05-18T00:32: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":"30178ed2685526b8cdc7e538268a4d3e2de89a4adc773d4ee9b5de549f336cc1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-10-19T00:14:13Z","title_canon_sha256":"e762493111d05898daeba376d9f822ad415fdf09acf65e47abe2d474140479ba"},"schema_version":"1.0","source":{"id":"1710.06967","kind":"arxiv","version":1}},"canonical_sha256":"cf567c7351a24a3c1c585b27eccdd8bab86ef4164053d45316387bbcf97a2cd7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cf567c7351a24a3c1c585b27eccdd8bab86ef4164053d45316387bbcf97a2cd7","first_computed_at":"2026-05-18T00:32:27.523059Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:32:27.523059Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ehkQX9z6PjbYbjuo3OM8CTb+AMYRiBz+PdzQGEtrWn/Go7YbihdfspTtaanK+6YhA2VK412kjS9NTOPFhTA7Ag==","signature_status":"signed_v1","signed_at":"2026-05-18T00:32:27.523664Z","signed_message":"canonical_sha256_bytes"},"source_id":"1710.06967","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7401a0ba8ad046b19b14059094e21676e1ac4cd4fed7ab5bc98b4d8ab62297d8","sha256:93271b56b80c997b44d80f97397becd79660bd050a722bc089f8080ee32140a5"],"state_sha256":"0311298e8ff7f82eff5d335a78a025f8791a351b587b605471ae7c658550da38"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"47s2Q0IicnhDj5VhLeVGvBjFl7VOhmTKqYBV+wuk/ZDX23KEx1RXzp/N/O+aTshkXSyreB9x4kKxUDxkAP4BCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T20:15:55.403231Z","bundle_sha256":"0729381a46750036a08d92efaa89ad90d33079b880d05caffc03f188eb61a81d"}}