{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:IETJANMLE7UDLXRIKCPNFWV3UG","short_pith_number":"pith:IETJANML","canonical_record":{"source":{"id":"1904.01869","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-04-03T09:20:56Z","cross_cats_sorted":["cs.CR","cs.IT","cs.SY","math.IT"],"title_canon_sha256":"534bacbcf0021c2e3961588e4646997a8bdc14a9da7ed44509fb3f590d3d6f00","abstract_canon_sha256":"933f6b312df49bd88ed04e4e052773569d56b0ba3dac241d7351f5c8aece4edf"},"schema_version":"1.0"},"canonical_sha256":"412690358b27e835de28509ed2dabba1aaf0da87f033c8cf521d8dc92f772196","source":{"kind":"arxiv","id":"1904.01869","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.01869","created_at":"2026-05-17T23:49:29Z"},{"alias_kind":"arxiv_version","alias_value":"1904.01869v1","created_at":"2026-05-17T23:49:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.01869","created_at":"2026-05-17T23:49:29Z"},{"alias_kind":"pith_short_12","alias_value":"IETJANMLE7UD","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_16","alias_value":"IETJANMLE7UDLXRI","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_8","alias_value":"IETJANML","created_at":"2026-05-18T12:33:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:IETJANMLE7UDLXRIKCPNFWV3UG","target":"record","payload":{"canonical_record":{"source":{"id":"1904.01869","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-04-03T09:20:56Z","cross_cats_sorted":["cs.CR","cs.IT","cs.SY","math.IT"],"title_canon_sha256":"534bacbcf0021c2e3961588e4646997a8bdc14a9da7ed44509fb3f590d3d6f00","abstract_canon_sha256":"933f6b312df49bd88ed04e4e052773569d56b0ba3dac241d7351f5c8aece4edf"},"schema_version":"1.0"},"canonical_sha256":"412690358b27e835de28509ed2dabba1aaf0da87f033c8cf521d8dc92f772196","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:49:29.404995Z","signature_b64":"bFVfihbJglm/4BOJdK8nDjoXB9Vr6tt2Mkh9pMRfwGBqX39QUwhApxgLNyXAeToRgB6qSLGvXHrMG3///HQSDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"412690358b27e835de28509ed2dabba1aaf0da87f033c8cf521d8dc92f772196","last_reissued_at":"2026-05-17T23:49:29.404471Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:49:29.404471Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1904.01869","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-17T23:49:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JrYIPGtHw4JILBZL8WKN/OCgCFMdrA+mFxPtOwCyEDtJ8jq74L9OpVud8ijN/Hioz5Q3ZTTLki9KZUyjY6zXDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T06:03:46.056324Z"},"content_sha256":"d52039f0827845193d5a0fd100833b52f2f2a3d31d67590621ed92242fe212af","schema_version":"1.0","event_id":"sha256:d52039f0827845193d5a0fd100833b52f2f2a3d31d67590621ed92242fe212af"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:IETJANMLE7UDLXRIKCPNFWV3UG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Securing State Estimation Under Sensor and Actuator Attacks: Theory and Design","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR","cs.IT","cs.SY","math.IT"],"primary_cat":"math.OC","authors_text":"Mehrdad Showkatbakhsh, Paulo Tabuada, Suhas Diggavi, Yasser Shoukry","submitted_at":"2019-04-03T09:20:56Z","abstract_excerpt":"This paper discusses the problem of estimating the state of a linear time-invariant system when some of its sensors and actuators are compromised by an adversarial agent. In the model considered in this paper, the malicious agent attacks an input (output) by manipulating its value arbitrarily, i.e., we impose no constraints (statistical or otherwise) on how control commands (sensor measurements) are changed by the adversary. In the first part of this paper, we introduce the notion of sparse strong observability and we show that is a necessary and sufficient condition for correctly reconstructi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.01869","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-17T23:49:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0YT1AAXTTD9wa+DqpTz2gBG36ThqRrME7f+3SS/syD/G7lSF2n9z9tf9YldljhvruwV+rsx68bYeYHXhKrXjDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T06:03:46.056683Z"},"content_sha256":"8340e4ccfa08c8fb14e98a37b2d22c59ef4f4b9ba76ca7a920ff64fdb48f1913","schema_version":"1.0","event_id":"sha256:8340e4ccfa08c8fb14e98a37b2d22c59ef4f4b9ba76ca7a920ff64fdb48f1913"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IETJANMLE7UDLXRIKCPNFWV3UG/bundle.json","state_url":"https://pith.science/pith/IETJANMLE7UDLXRIKCPNFWV3UG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IETJANMLE7UDLXRIKCPNFWV3UG/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-06-04T06:03:46Z","links":{"resolver":"https://pith.science/pith/IETJANMLE7UDLXRIKCPNFWV3UG","bundle":"https://pith.science/pith/IETJANMLE7UDLXRIKCPNFWV3UG/bundle.json","state":"https://pith.science/pith/IETJANMLE7UDLXRIKCPNFWV3UG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IETJANMLE7UDLXRIKCPNFWV3UG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:IETJANMLE7UDLXRIKCPNFWV3UG","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":"933f6b312df49bd88ed04e4e052773569d56b0ba3dac241d7351f5c8aece4edf","cross_cats_sorted":["cs.CR","cs.IT","cs.SY","math.IT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-04-03T09:20:56Z","title_canon_sha256":"534bacbcf0021c2e3961588e4646997a8bdc14a9da7ed44509fb3f590d3d6f00"},"schema_version":"1.0","source":{"id":"1904.01869","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.01869","created_at":"2026-05-17T23:49:29Z"},{"alias_kind":"arxiv_version","alias_value":"1904.01869v1","created_at":"2026-05-17T23:49:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.01869","created_at":"2026-05-17T23:49:29Z"},{"alias_kind":"pith_short_12","alias_value":"IETJANMLE7UD","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_16","alias_value":"IETJANMLE7UDLXRI","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_8","alias_value":"IETJANML","created_at":"2026-05-18T12:33:18Z"}],"graph_snapshots":[{"event_id":"sha256:8340e4ccfa08c8fb14e98a37b2d22c59ef4f4b9ba76ca7a920ff64fdb48f1913","target":"graph","created_at":"2026-05-17T23:49:29Z","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":"This paper discusses the problem of estimating the state of a linear time-invariant system when some of its sensors and actuators are compromised by an adversarial agent. In the model considered in this paper, the malicious agent attacks an input (output) by manipulating its value arbitrarily, i.e., we impose no constraints (statistical or otherwise) on how control commands (sensor measurements) are changed by the adversary. In the first part of this paper, we introduce the notion of sparse strong observability and we show that is a necessary and sufficient condition for correctly reconstructi","authors_text":"Mehrdad Showkatbakhsh, Paulo Tabuada, Suhas Diggavi, Yasser Shoukry","cross_cats":["cs.CR","cs.IT","cs.SY","math.IT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-04-03T09:20:56Z","title":"Securing State Estimation Under Sensor and Actuator Attacks: Theory and Design"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.01869","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:d52039f0827845193d5a0fd100833b52f2f2a3d31d67590621ed92242fe212af","target":"record","created_at":"2026-05-17T23:49:29Z","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":"933f6b312df49bd88ed04e4e052773569d56b0ba3dac241d7351f5c8aece4edf","cross_cats_sorted":["cs.CR","cs.IT","cs.SY","math.IT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-04-03T09:20:56Z","title_canon_sha256":"534bacbcf0021c2e3961588e4646997a8bdc14a9da7ed44509fb3f590d3d6f00"},"schema_version":"1.0","source":{"id":"1904.01869","kind":"arxiv","version":1}},"canonical_sha256":"412690358b27e835de28509ed2dabba1aaf0da87f033c8cf521d8dc92f772196","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"412690358b27e835de28509ed2dabba1aaf0da87f033c8cf521d8dc92f772196","first_computed_at":"2026-05-17T23:49:29.404471Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:49:29.404471Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bFVfihbJglm/4BOJdK8nDjoXB9Vr6tt2Mkh9pMRfwGBqX39QUwhApxgLNyXAeToRgB6qSLGvXHrMG3///HQSDw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:49:29.404995Z","signed_message":"canonical_sha256_bytes"},"source_id":"1904.01869","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d52039f0827845193d5a0fd100833b52f2f2a3d31d67590621ed92242fe212af","sha256:8340e4ccfa08c8fb14e98a37b2d22c59ef4f4b9ba76ca7a920ff64fdb48f1913"],"state_sha256":"2d3ce69c064ba796ee320ae7dbe3ce38b4cf7d87cb52db3e273a7284a065a2c5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qrXx+R8Ph4x1W9Mkvdm67+Vk9M9CE3w8XDFSGBi4Z0zygsfaetT2hYoCmzezwjSWNTaybPZepE5UtgjNqRp6CA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T06:03:46.058934Z","bundle_sha256":"87c38e6acad7f29206e5a7f0228ca4ca3a13aaee1565bfd0dff06ed24030e084"}}