{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:BNS4CTA3RFAVPBNXPOW3HMORWJ","short_pith_number":"pith:BNS4CTA3","canonical_record":{"source":{"id":"1702.05241","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-02-17T07:18:01Z","cross_cats_sorted":[],"title_canon_sha256":"59ec035603212448d459f5fe8e54a9f26de2c5c67564841bab6093e12733c794","abstract_canon_sha256":"824c3d2464d13e34b5be45a625e30da35281807edd8fe69e56b8f4292cd93b0d"},"schema_version":"1.0"},"canonical_sha256":"0b65c14c1b89415785b77badb3b1d1b2686abb340439de6695bf0346f3502370","source":{"kind":"arxiv","id":"1702.05241","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.05241","created_at":"2026-05-18T00:50:32Z"},{"alias_kind":"arxiv_version","alias_value":"1702.05241v1","created_at":"2026-05-18T00:50:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.05241","created_at":"2026-05-18T00:50:32Z"},{"alias_kind":"pith_short_12","alias_value":"BNS4CTA3RFAV","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_16","alias_value":"BNS4CTA3RFAVPBNX","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_8","alias_value":"BNS4CTA3","created_at":"2026-05-18T12:31:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:BNS4CTA3RFAVPBNXPOW3HMORWJ","target":"record","payload":{"canonical_record":{"source":{"id":"1702.05241","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-02-17T07:18:01Z","cross_cats_sorted":[],"title_canon_sha256":"59ec035603212448d459f5fe8e54a9f26de2c5c67564841bab6093e12733c794","abstract_canon_sha256":"824c3d2464d13e34b5be45a625e30da35281807edd8fe69e56b8f4292cd93b0d"},"schema_version":"1.0"},"canonical_sha256":"0b65c14c1b89415785b77badb3b1d1b2686abb340439de6695bf0346f3502370","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:50:32.271857Z","signature_b64":"12X1m+LqRt7vLrTjGVFp0kpV+ra6o6nYzQaAWaMJlTAiUp3nDfHeFxO6mIAT5QM6dU73GHhpL+bVXgHC1mNDAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0b65c14c1b89415785b77badb3b1d1b2686abb340439de6695bf0346f3502370","last_reissued_at":"2026-05-18T00:50:32.271299Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:50:32.271299Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1702.05241","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:50:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Q+WOM+b5GRtejYpUcPGl7cqAjTj1It0ZUFBRejOr/akDRRv9eAQayEEBbNXpUfPLeVFYkFThazacvES4QhqLAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T04:11:53.760596Z"},"content_sha256":"4a2f2dde0942e36cbb8b4e671d0dad06a461087ec046516f0d715409fa8e87b3","schema_version":"1.0","event_id":"sha256:4a2f2dde0942e36cbb8b4e671d0dad06a461087ec046516f0d715409fa8e87b3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:BNS4CTA3RFAVPBNXPOW3HMORWJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On Ladder Logic Bombs in Industrial Control Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Anand Agrawal, Naman Govil, Nils Ole Tippenhauer","submitted_at":"2017-02-17T07:18:01Z","abstract_excerpt":"In industrial control systems, devices such as Programmable Logic Controllers (PLCs) are commonly used to directly interact with sensors and actuators, and perform local automatic control. PLCs run software on two different layers: a) firmware (i.e. the OS) and b) control logic (processing sensor readings to determine control actions). In this work, we discuss ladder logic bombs, i.e. malware written in ladder logic (or one of the other IEC 61131-3-compatible languages). Such malware would be inserted by an attacker into existing control logic on a PLC, and either persistently change the behav"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.05241","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:50:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fvtHXGYxVuSvKY8l1ffo+XDerdvgOtb6wqyzqvY+rxXvHD9i4Ksz66aXnLoejAOqxTN+Qq96U8H6LUUuMznsAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T04:11:53.761279Z"},"content_sha256":"b536b434430d1978da4a163664ad737982b12ad5253eaa40993a5eb5212de988","schema_version":"1.0","event_id":"sha256:b536b434430d1978da4a163664ad737982b12ad5253eaa40993a5eb5212de988"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BNS4CTA3RFAVPBNXPOW3HMORWJ/bundle.json","state_url":"https://pith.science/pith/BNS4CTA3RFAVPBNXPOW3HMORWJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BNS4CTA3RFAVPBNXPOW3HMORWJ/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-26T04:11:53Z","links":{"resolver":"https://pith.science/pith/BNS4CTA3RFAVPBNXPOW3HMORWJ","bundle":"https://pith.science/pith/BNS4CTA3RFAVPBNXPOW3HMORWJ/bundle.json","state":"https://pith.science/pith/BNS4CTA3RFAVPBNXPOW3HMORWJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BNS4CTA3RFAVPBNXPOW3HMORWJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:BNS4CTA3RFAVPBNXPOW3HMORWJ","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":"824c3d2464d13e34b5be45a625e30da35281807edd8fe69e56b8f4292cd93b0d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-02-17T07:18:01Z","title_canon_sha256":"59ec035603212448d459f5fe8e54a9f26de2c5c67564841bab6093e12733c794"},"schema_version":"1.0","source":{"id":"1702.05241","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.05241","created_at":"2026-05-18T00:50:32Z"},{"alias_kind":"arxiv_version","alias_value":"1702.05241v1","created_at":"2026-05-18T00:50:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.05241","created_at":"2026-05-18T00:50:32Z"},{"alias_kind":"pith_short_12","alias_value":"BNS4CTA3RFAV","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_16","alias_value":"BNS4CTA3RFAVPBNX","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_8","alias_value":"BNS4CTA3","created_at":"2026-05-18T12:31:08Z"}],"graph_snapshots":[{"event_id":"sha256:b536b434430d1978da4a163664ad737982b12ad5253eaa40993a5eb5212de988","target":"graph","created_at":"2026-05-18T00:50:32Z","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":"In industrial control systems, devices such as Programmable Logic Controllers (PLCs) are commonly used to directly interact with sensors and actuators, and perform local automatic control. PLCs run software on two different layers: a) firmware (i.e. the OS) and b) control logic (processing sensor readings to determine control actions). In this work, we discuss ladder logic bombs, i.e. malware written in ladder logic (or one of the other IEC 61131-3-compatible languages). Such malware would be inserted by an attacker into existing control logic on a PLC, and either persistently change the behav","authors_text":"Anand Agrawal, Naman Govil, Nils Ole Tippenhauer","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-02-17T07:18:01Z","title":"On Ladder Logic Bombs in Industrial Control Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.05241","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:4a2f2dde0942e36cbb8b4e671d0dad06a461087ec046516f0d715409fa8e87b3","target":"record","created_at":"2026-05-18T00:50:32Z","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":"824c3d2464d13e34b5be45a625e30da35281807edd8fe69e56b8f4292cd93b0d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-02-17T07:18:01Z","title_canon_sha256":"59ec035603212448d459f5fe8e54a9f26de2c5c67564841bab6093e12733c794"},"schema_version":"1.0","source":{"id":"1702.05241","kind":"arxiv","version":1}},"canonical_sha256":"0b65c14c1b89415785b77badb3b1d1b2686abb340439de6695bf0346f3502370","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0b65c14c1b89415785b77badb3b1d1b2686abb340439de6695bf0346f3502370","first_computed_at":"2026-05-18T00:50:32.271299Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:50:32.271299Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"12X1m+LqRt7vLrTjGVFp0kpV+ra6o6nYzQaAWaMJlTAiUp3nDfHeFxO6mIAT5QM6dU73GHhpL+bVXgHC1mNDAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:50:32.271857Z","signed_message":"canonical_sha256_bytes"},"source_id":"1702.05241","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4a2f2dde0942e36cbb8b4e671d0dad06a461087ec046516f0d715409fa8e87b3","sha256:b536b434430d1978da4a163664ad737982b12ad5253eaa40993a5eb5212de988"],"state_sha256":"c5852c30d6918f960664a32fb2c43eea1b4adbe1b1e952d21843d9331003fdfb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"833ueorQtBG4jud/V4QqytaIZzGLe5lSYenu0744EM5KOoS8yJut0FqALhIHE3geTBDQJXtMnQWXaTMKcup2Cg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T04:11:53.764773Z","bundle_sha256":"f2b214a425a55b0c25b3ec3ed9b064422479ab2b6b8c7d9504dc5ef497948533"}}