{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:G5AF5FORQLUWKHQBFQ23CE7YMR","short_pith_number":"pith:G5AF5FOR","schema_version":"1.0","canonical_sha256":"37405e95d182e9651e012c35b113f8644d700aed34ab8cc58365eec537659964","source":{"kind":"arxiv","id":"1811.02932","version":2},"attestation_state":"computed","paper":{"title":"Supervisor Obfuscation Against Actuator Enablement Attack","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.SY","authors_text":"Liyong Lin, Rong Su, Yuting Zhu","submitted_at":"2018-11-07T15:27:04Z","abstract_excerpt":"In this paper, we propose and address the problem of supervisor obfuscation against actuator enablement attack, in a common setting where the actuator attacker can eavesdrop the control commands issued by the supervisor. We propose a method to obfuscate an (insecure) supervisor to make it resilient against actuator enablement attack in such a way that the behavior of the original closed-loop system is preserved. An additional feature of the obfuscated supervisor, if it exists, is that it has exactly the minimum number of states among the set of all the resilient and behavior-preserving supervi"},"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":"1811.02932","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-11-07T15:27:04Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"ba4129f6ab37e0151b9791b715f68cba5ea48a39042714735897a6aa5a31e788","abstract_canon_sha256":"4a704edfb51bf265cd6906dfca5fedafed4709fa5027a184f26367b4c489408e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:52:58.592478Z","signature_b64":"QIHVGftv1U4gdEPaJrjsAls4/JNZwLjLWIr33DbXCyBED7xBUH1k+aeDSbGtw3d3WhkZSNzDKStPR1PwGv2xAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"37405e95d182e9651e012c35b113f8644d700aed34ab8cc58365eec537659964","last_reissued_at":"2026-05-17T23:52:58.591818Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:52:58.591818Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Supervisor Obfuscation Against Actuator Enablement Attack","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.SY","authors_text":"Liyong Lin, Rong Su, Yuting Zhu","submitted_at":"2018-11-07T15:27:04Z","abstract_excerpt":"In this paper, we propose and address the problem of supervisor obfuscation against actuator enablement attack, in a common setting where the actuator attacker can eavesdrop the control commands issued by the supervisor. We propose a method to obfuscate an (insecure) supervisor to make it resilient against actuator enablement attack in such a way that the behavior of the original closed-loop system is preserved. An additional feature of the obfuscated supervisor, if it exists, is that it has exactly the minimum number of states among the set of all the resilient and behavior-preserving supervi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.02932","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":"1811.02932","created_at":"2026-05-17T23:52:58.591913+00:00"},{"alias_kind":"arxiv_version","alias_value":"1811.02932v2","created_at":"2026-05-17T23:52:58.591913+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.02932","created_at":"2026-05-17T23:52:58.591913+00:00"},{"alias_kind":"pith_short_12","alias_value":"G5AF5FORQLUW","created_at":"2026-05-18T12:32:25.280505+00:00"},{"alias_kind":"pith_short_16","alias_value":"G5AF5FORQLUWKHQB","created_at":"2026-05-18T12:32:25.280505+00:00"},{"alias_kind":"pith_short_8","alias_value":"G5AF5FOR","created_at":"2026-05-18T12:32:25.280505+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/G5AF5FORQLUWKHQBFQ23CE7YMR","json":"https://pith.science/pith/G5AF5FORQLUWKHQBFQ23CE7YMR.json","graph_json":"https://pith.science/api/pith-number/G5AF5FORQLUWKHQBFQ23CE7YMR/graph.json","events_json":"https://pith.science/api/pith-number/G5AF5FORQLUWKHQBFQ23CE7YMR/events.json","paper":"https://pith.science/paper/G5AF5FOR"},"agent_actions":{"view_html":"https://pith.science/pith/G5AF5FORQLUWKHQBFQ23CE7YMR","download_json":"https://pith.science/pith/G5AF5FORQLUWKHQBFQ23CE7YMR.json","view_paper":"https://pith.science/paper/G5AF5FOR","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1811.02932&json=true","fetch_graph":"https://pith.science/api/pith-number/G5AF5FORQLUWKHQBFQ23CE7YMR/graph.json","fetch_events":"https://pith.science/api/pith-number/G5AF5FORQLUWKHQBFQ23CE7YMR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/G5AF5FORQLUWKHQBFQ23CE7YMR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/G5AF5FORQLUWKHQBFQ23CE7YMR/action/storage_attestation","attest_author":"https://pith.science/pith/G5AF5FORQLUWKHQBFQ23CE7YMR/action/author_attestation","sign_citation":"https://pith.science/pith/G5AF5FORQLUWKHQBFQ23CE7YMR/action/citation_signature","submit_replication":"https://pith.science/pith/G5AF5FORQLUWKHQBFQ23CE7YMR/action/replication_record"}},"created_at":"2026-05-17T23:52:58.591913+00:00","updated_at":"2026-05-17T23:52:58.591913+00:00"}