{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:DZGB2B3D6QKKLC7B5633GKWRMR","short_pith_number":"pith:DZGB2B3D","canonical_record":{"source":{"id":"1510.02462","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-10-08T19:55:20Z","cross_cats_sorted":["cs.CR","cs.IT","cs.SY","math.IT"],"title_canon_sha256":"960c63b7ff5ab2ffd3b088940249d8702f660985a0a7024d64505527dfc20fb5","abstract_canon_sha256":"eff8a7a8b4c74d8cdfa0dc64f4f2e68a7127343d08a3645e72ea55dd418e9cfb"},"schema_version":"1.0"},"canonical_sha256":"1e4c1d0763f414a58be1efb7b32ad164712a9c0449e1db750fa0ec86926e7b81","source":{"kind":"arxiv","id":"1510.02462","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1510.02462","created_at":"2026-05-18T00:58:34Z"},{"alias_kind":"arxiv_version","alias_value":"1510.02462v2","created_at":"2026-05-18T00:58:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.02462","created_at":"2026-05-18T00:58:34Z"},{"alias_kind":"pith_short_12","alias_value":"DZGB2B3D6QKK","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_16","alias_value":"DZGB2B3D6QKKLC7B","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_8","alias_value":"DZGB2B3D","created_at":"2026-05-18T12:29:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:DZGB2B3D6QKKLC7B5633GKWRMR","target":"record","payload":{"canonical_record":{"source":{"id":"1510.02462","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-10-08T19:55:20Z","cross_cats_sorted":["cs.CR","cs.IT","cs.SY","math.IT"],"title_canon_sha256":"960c63b7ff5ab2ffd3b088940249d8702f660985a0a7024d64505527dfc20fb5","abstract_canon_sha256":"eff8a7a8b4c74d8cdfa0dc64f4f2e68a7127343d08a3645e72ea55dd418e9cfb"},"schema_version":"1.0"},"canonical_sha256":"1e4c1d0763f414a58be1efb7b32ad164712a9c0449e1db750fa0ec86926e7b81","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:58:34.827641Z","signature_b64":"R0b4GLLeaEWixKKjFJivx4+snwNxCOX6wngfPV0pbdqj5YLBmGmWvOhtj+olfkXOkDHSXKrAY0GP/4QR8U3HCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1e4c1d0763f414a58be1efb7b32ad164712a9c0449e1db750fa0ec86926e7b81","last_reissued_at":"2026-05-18T00:58:34.827076Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:58:34.827076Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1510.02462","source_version":2,"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:58:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b+4NuVBrig0K25nvIPdUii0mg3MiCTt8aWMgVNmmrRZ5gK9Hgt0MR5gWOON11SBabTH3I6OMyYZLcdBq5kNtCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T11:34:41.371079Z"},"content_sha256":"8c8ea7068a202639d116cf0fdf7c08b39ea6ab2f97de4cd837b5e3e05138bb2e","schema_version":"1.0","event_id":"sha256:8c8ea7068a202639d116cf0fdf7c08b39ea6ab2f97de4cd837b5e3e05138bb2e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:DZGB2B3D6QKKLC7B5633GKWRMR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Secure State Estimation against Sensor Attacks in the Presence of Noise","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":"Nikhil Karamchandani, Paulo Tabuada, Shaunak Mishra, Suhas Diggavi, Yasser Shoukry","submitted_at":"2015-10-08T19:55:20Z","abstract_excerpt":"We consider the problem of estimating the state of a noisy linear dynamical system when an unknown subset of sensors is arbitrarily corrupted by an adversary. We propose a secure state estimation algorithm, and derive (optimal) bounds on the achievable state estimation error given an upper bound on the number of attacked sensors. The proposed state estimator involves Kalman filters operating over subsets of sensors to search for a sensor subset which is reliable for state estimation. To further improve the subset search time, we propose Satisfiability Modulo Theory based techniques to exploit "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.02462","kind":"arxiv","version":2},"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:58:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PJk4cxFGz/+4hla5aVuh8wv26PFaPyBr2eB9oCh3Qa3nIrpKKDF2WcwArR9d7MTOoB9QMM/kOA2TMiH+2KbCBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T11:34:41.371443Z"},"content_sha256":"7ec27222bec1b0c13f7f60b0f0e5600ce0db3cd3bd50537676efc3c7300ad6cd","schema_version":"1.0","event_id":"sha256:7ec27222bec1b0c13f7f60b0f0e5600ce0db3cd3bd50537676efc3c7300ad6cd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DZGB2B3D6QKKLC7B5633GKWRMR/bundle.json","state_url":"https://pith.science/pith/DZGB2B3D6QKKLC7B5633GKWRMR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DZGB2B3D6QKKLC7B5633GKWRMR/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-02T11:34:41Z","links":{"resolver":"https://pith.science/pith/DZGB2B3D6QKKLC7B5633GKWRMR","bundle":"https://pith.science/pith/DZGB2B3D6QKKLC7B5633GKWRMR/bundle.json","state":"https://pith.science/pith/DZGB2B3D6QKKLC7B5633GKWRMR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DZGB2B3D6QKKLC7B5633GKWRMR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:DZGB2B3D6QKKLC7B5633GKWRMR","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":"eff8a7a8b4c74d8cdfa0dc64f4f2e68a7127343d08a3645e72ea55dd418e9cfb","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":"2015-10-08T19:55:20Z","title_canon_sha256":"960c63b7ff5ab2ffd3b088940249d8702f660985a0a7024d64505527dfc20fb5"},"schema_version":"1.0","source":{"id":"1510.02462","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1510.02462","created_at":"2026-05-18T00:58:34Z"},{"alias_kind":"arxiv_version","alias_value":"1510.02462v2","created_at":"2026-05-18T00:58:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.02462","created_at":"2026-05-18T00:58:34Z"},{"alias_kind":"pith_short_12","alias_value":"DZGB2B3D6QKK","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_16","alias_value":"DZGB2B3D6QKKLC7B","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_8","alias_value":"DZGB2B3D","created_at":"2026-05-18T12:29:17Z"}],"graph_snapshots":[{"event_id":"sha256:7ec27222bec1b0c13f7f60b0f0e5600ce0db3cd3bd50537676efc3c7300ad6cd","target":"graph","created_at":"2026-05-18T00:58:34Z","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":"We consider the problem of estimating the state of a noisy linear dynamical system when an unknown subset of sensors is arbitrarily corrupted by an adversary. We propose a secure state estimation algorithm, and derive (optimal) bounds on the achievable state estimation error given an upper bound on the number of attacked sensors. The proposed state estimator involves Kalman filters operating over subsets of sensors to search for a sensor subset which is reliable for state estimation. To further improve the subset search time, we propose Satisfiability Modulo Theory based techniques to exploit ","authors_text":"Nikhil Karamchandani, Paulo Tabuada, Shaunak Mishra, 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":"2015-10-08T19:55:20Z","title":"Secure State Estimation against Sensor Attacks in the Presence of Noise"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.02462","kind":"arxiv","version":2},"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:8c8ea7068a202639d116cf0fdf7c08b39ea6ab2f97de4cd837b5e3e05138bb2e","target":"record","created_at":"2026-05-18T00:58:34Z","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":"eff8a7a8b4c74d8cdfa0dc64f4f2e68a7127343d08a3645e72ea55dd418e9cfb","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":"2015-10-08T19:55:20Z","title_canon_sha256":"960c63b7ff5ab2ffd3b088940249d8702f660985a0a7024d64505527dfc20fb5"},"schema_version":"1.0","source":{"id":"1510.02462","kind":"arxiv","version":2}},"canonical_sha256":"1e4c1d0763f414a58be1efb7b32ad164712a9c0449e1db750fa0ec86926e7b81","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1e4c1d0763f414a58be1efb7b32ad164712a9c0449e1db750fa0ec86926e7b81","first_computed_at":"2026-05-18T00:58:34.827076Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:58:34.827076Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"R0b4GLLeaEWixKKjFJivx4+snwNxCOX6wngfPV0pbdqj5YLBmGmWvOhtj+olfkXOkDHSXKrAY0GP/4QR8U3HCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:58:34.827641Z","signed_message":"canonical_sha256_bytes"},"source_id":"1510.02462","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8c8ea7068a202639d116cf0fdf7c08b39ea6ab2f97de4cd837b5e3e05138bb2e","sha256:7ec27222bec1b0c13f7f60b0f0e5600ce0db3cd3bd50537676efc3c7300ad6cd"],"state_sha256":"f57d141d3547c54e02aa4965a09f075e1b4b6e93a3249a5be9969ba5887ba82e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SUBecMHGjPlkKdzmhZDgMkm6x4sMfkTE2wtXxbt6kqf13ptmmXH82mIVpEKcYJMNOpAIqD8APQ6ZnKBbp8ENAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T11:34:41.373441Z","bundle_sha256":"bf43208b99baae7ed3fc0c02c4ce0687b4e249289c11a77334e8eca8ffe7246e"}}