{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:G7OI3K2DGAQDFM3TUTUUO7CPRF","short_pith_number":"pith:G7OI3K2D","schema_version":"1.0","canonical_sha256":"37dc8dab43302032b373a4e9477c4f897e11a00416e861960cf5a3348aefa79b","source":{"kind":"arxiv","id":"1412.4324","version":2},"attestation_state":"computed","paper":{"title":"Secure State Estimation For Cyber Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach","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":"Alberto L. Sangiovanni-Vincentelli, Alberto Puggelli, Paulo Tabuada, Pierluigi Nuzzo, Sanjit A. Seshia, Yasser Shoukry","submitted_at":"2014-12-14T07:10:19Z","abstract_excerpt":"We address the problem of detecting and mitigating the effect of malicious attacks to the sensors of a linear dynamical system. We develop a novel, efficient algorithm that uses a Satisfiability-Modulo-Theory approach to isolate the compromised sensors and estimate the system state despite the presence of the attack, thus harnessing the intrinsic combinatorial complexity of the problem. By leveraging results from formal methods over real numbers, we provide guarantees on the soundness and completeness of our algorithm. We then report simulation results to compare its runtime performance with a"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1412.4324","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-12-14T07:10:19Z","cross_cats_sorted":["cs.CR","cs.IT","cs.SY","math.IT"],"title_canon_sha256":"343f01560dba0ac2d801c9a101049341343ab601c59757f32966446385284159","abstract_canon_sha256":"30e32007807c9f6a4d490e251334dbdf5e069978cf9dbb7e70dc4bbd849ce863"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:23:26.280877Z","signature_b64":"1uRVBDLojNCSlKXTV/9iMg0tpFhUuDUp4fWnpQqaeP5iCCGHETnf2zP9eJsLcQ+woGi1kmuKJACYV3w3UaFbBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"37dc8dab43302032b373a4e9477c4f897e11a00416e861960cf5a3348aefa79b","last_reissued_at":"2026-05-18T02:23:26.280165Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:23:26.280165Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Secure State Estimation For Cyber Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach","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":"Alberto L. Sangiovanni-Vincentelli, Alberto Puggelli, Paulo Tabuada, Pierluigi Nuzzo, Sanjit A. Seshia, Yasser Shoukry","submitted_at":"2014-12-14T07:10:19Z","abstract_excerpt":"We address the problem of detecting and mitigating the effect of malicious attacks to the sensors of a linear dynamical system. We develop a novel, efficient algorithm that uses a Satisfiability-Modulo-Theory approach to isolate the compromised sensors and estimate the system state despite the presence of the attack, thus harnessing the intrinsic combinatorial complexity of the problem. By leveraging results from formal methods over real numbers, we provide guarantees on the soundness and completeness of our algorithm. We then report simulation results to compare its runtime performance with a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.4324","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1412.4324","created_at":"2026-05-18T02:23:26.280281+00:00"},{"alias_kind":"arxiv_version","alias_value":"1412.4324v2","created_at":"2026-05-18T02:23:26.280281+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.4324","created_at":"2026-05-18T02:23:26.280281+00:00"},{"alias_kind":"pith_short_12","alias_value":"G7OI3K2DGAQD","created_at":"2026-05-18T12:28:28.263976+00:00"},{"alias_kind":"pith_short_16","alias_value":"G7OI3K2DGAQDFM3T","created_at":"2026-05-18T12:28:28.263976+00:00"},{"alias_kind":"pith_short_8","alias_value":"G7OI3K2D","created_at":"2026-05-18T12:28:28.263976+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/G7OI3K2DGAQDFM3TUTUUO7CPRF","json":"https://pith.science/pith/G7OI3K2DGAQDFM3TUTUUO7CPRF.json","graph_json":"https://pith.science/api/pith-number/G7OI3K2DGAQDFM3TUTUUO7CPRF/graph.json","events_json":"https://pith.science/api/pith-number/G7OI3K2DGAQDFM3TUTUUO7CPRF/events.json","paper":"https://pith.science/paper/G7OI3K2D"},"agent_actions":{"view_html":"https://pith.science/pith/G7OI3K2DGAQDFM3TUTUUO7CPRF","download_json":"https://pith.science/pith/G7OI3K2DGAQDFM3TUTUUO7CPRF.json","view_paper":"https://pith.science/paper/G7OI3K2D","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1412.4324&json=true","fetch_graph":"https://pith.science/api/pith-number/G7OI3K2DGAQDFM3TUTUUO7CPRF/graph.json","fetch_events":"https://pith.science/api/pith-number/G7OI3K2DGAQDFM3TUTUUO7CPRF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/G7OI3K2DGAQDFM3TUTUUO7CPRF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/G7OI3K2DGAQDFM3TUTUUO7CPRF/action/storage_attestation","attest_author":"https://pith.science/pith/G7OI3K2DGAQDFM3TUTUUO7CPRF/action/author_attestation","sign_citation":"https://pith.science/pith/G7OI3K2DGAQDFM3TUTUUO7CPRF/action/citation_signature","submit_replication":"https://pith.science/pith/G7OI3K2DGAQDFM3TUTUUO7CPRF/action/replication_record"}},"created_at":"2026-05-18T02:23:26.280281+00:00","updated_at":"2026-05-18T02:23:26.280281+00:00"}