{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:FOQV4JUWMBU3KCJMXIX4XJ35LY","short_pith_number":"pith:FOQV4JUW","canonical_record":{"source":{"id":"1705.00138","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-04-29T06:22:32Z","cross_cats_sorted":["cs.OS"],"title_canon_sha256":"04273baed299176cf2230b02fc1a84c0b93a15e9dec2184c5d00ee53359452ac","abstract_canon_sha256":"dd58881c9c07e8d8c15b950120d7c1af0c0d1e91fa02889710fbf3a9e82627bf"},"schema_version":"1.0"},"canonical_sha256":"2ba15e26966069b5092cba2fcba77d5e05128137001232bbac619d7e541d1610","source":{"kind":"arxiv","id":"1705.00138","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.00138","created_at":"2026-05-18T00:43:47Z"},{"alias_kind":"arxiv_version","alias_value":"1705.00138v3","created_at":"2026-05-18T00:43:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.00138","created_at":"2026-05-18T00:43:47Z"},{"alias_kind":"pith_short_12","alias_value":"FOQV4JUWMBU3","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"FOQV4JUWMBU3KCJM","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"FOQV4JUW","created_at":"2026-05-18T12:31:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:FOQV4JUWMBU3KCJMXIX4XJ35LY","target":"record","payload":{"canonical_record":{"source":{"id":"1705.00138","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-04-29T06:22:32Z","cross_cats_sorted":["cs.OS"],"title_canon_sha256":"04273baed299176cf2230b02fc1a84c0b93a15e9dec2184c5d00ee53359452ac","abstract_canon_sha256":"dd58881c9c07e8d8c15b950120d7c1af0c0d1e91fa02889710fbf3a9e82627bf"},"schema_version":"1.0"},"canonical_sha256":"2ba15e26966069b5092cba2fcba77d5e05128137001232bbac619d7e541d1610","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:43:47.897089Z","signature_b64":"C9ZXURCinvGoG2jySJKAK1SBhtHlzu+QbEbJa7Thx+yzewvDTv+vASALR9GMFhRcyA6HYq//eHDxAlvhodutCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2ba15e26966069b5092cba2fcba77d5e05128137001232bbac619d7e541d1610","last_reissued_at":"2026-05-18T00:43:47.896522Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:43:47.896522Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1705.00138","source_version":3,"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:43:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uGIkM6RU6MY9DR5fpIpWS8oaSBL8W2dMS5N5wz+cZsKQuy8rDQ8pSNxW86JRzc6ZHKHbAkt6qng+t4NWgkt+Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T00:19:33.608976Z"},"content_sha256":"868974b5ebfb022656cbf5a92226a122854b4e74a88cb71b49b7755c2ea1fe1c","schema_version":"1.0","event_id":"sha256:868974b5ebfb022656cbf5a92226a122854b4e74a88cb71b49b7755c2ea1fe1c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:FOQV4JUWMBU3KCJMXIX4XJ35LY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Contego: An Adaptive Framework for Integrating Security Tasks in Real-Time Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.OS"],"primary_cat":"cs.CR","authors_text":"Monowar Hasan, Rakesh B. Bobba, Rodolfo Pellizzoni, Sibin Mohan","submitted_at":"2017-04-29T06:22:32Z","abstract_excerpt":"Embedded real-time systems (RTS) are pervasive. Many modern RTS are exposed to unknown security flaws, and threats to RTS are growing in both number and sophistication. However, until recently, cyber-security considerations were an afterthought in the design of such systems. Any security mechanisms integrated into RTS must (a) co-exist with the real- time tasks in the system and (b) operate without impacting the timing and safety constraints of the control logic. We introduce Contego, an approach to integrating security tasks into RTS without affecting temporal requirements. Contego is specifi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.00138","kind":"arxiv","version":3},"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:43:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Sny0D6KXVRgbQxOmv52w1PPJCvnNvllmAqbKgpVM7K9ERU/80B/DdOcZtcjM1fkFvUTKu1YZJR3colv3yWPBDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T00:19:33.609684Z"},"content_sha256":"8ba04e408c6177fad95a6afb5903698a03aa95832bdb454c7a599b9bd80a676c","schema_version":"1.0","event_id":"sha256:8ba04e408c6177fad95a6afb5903698a03aa95832bdb454c7a599b9bd80a676c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FOQV4JUWMBU3KCJMXIX4XJ35LY/bundle.json","state_url":"https://pith.science/pith/FOQV4JUWMBU3KCJMXIX4XJ35LY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FOQV4JUWMBU3KCJMXIX4XJ35LY/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-26T00:19:33Z","links":{"resolver":"https://pith.science/pith/FOQV4JUWMBU3KCJMXIX4XJ35LY","bundle":"https://pith.science/pith/FOQV4JUWMBU3KCJMXIX4XJ35LY/bundle.json","state":"https://pith.science/pith/FOQV4JUWMBU3KCJMXIX4XJ35LY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FOQV4JUWMBU3KCJMXIX4XJ35LY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:FOQV4JUWMBU3KCJMXIX4XJ35LY","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":"dd58881c9c07e8d8c15b950120d7c1af0c0d1e91fa02889710fbf3a9e82627bf","cross_cats_sorted":["cs.OS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-04-29T06:22:32Z","title_canon_sha256":"04273baed299176cf2230b02fc1a84c0b93a15e9dec2184c5d00ee53359452ac"},"schema_version":"1.0","source":{"id":"1705.00138","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.00138","created_at":"2026-05-18T00:43:47Z"},{"alias_kind":"arxiv_version","alias_value":"1705.00138v3","created_at":"2026-05-18T00:43:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.00138","created_at":"2026-05-18T00:43:47Z"},{"alias_kind":"pith_short_12","alias_value":"FOQV4JUWMBU3","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"FOQV4JUWMBU3KCJM","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"FOQV4JUW","created_at":"2026-05-18T12:31:15Z"}],"graph_snapshots":[{"event_id":"sha256:8ba04e408c6177fad95a6afb5903698a03aa95832bdb454c7a599b9bd80a676c","target":"graph","created_at":"2026-05-18T00:43:47Z","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":"Embedded real-time systems (RTS) are pervasive. Many modern RTS are exposed to unknown security flaws, and threats to RTS are growing in both number and sophistication. However, until recently, cyber-security considerations were an afterthought in the design of such systems. Any security mechanisms integrated into RTS must (a) co-exist with the real- time tasks in the system and (b) operate without impacting the timing and safety constraints of the control logic. We introduce Contego, an approach to integrating security tasks into RTS without affecting temporal requirements. Contego is specifi","authors_text":"Monowar Hasan, Rakesh B. Bobba, Rodolfo Pellizzoni, Sibin Mohan","cross_cats":["cs.OS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-04-29T06:22:32Z","title":"Contego: An Adaptive Framework for Integrating Security Tasks in Real-Time Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.00138","kind":"arxiv","version":3},"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:868974b5ebfb022656cbf5a92226a122854b4e74a88cb71b49b7755c2ea1fe1c","target":"record","created_at":"2026-05-18T00:43:47Z","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":"dd58881c9c07e8d8c15b950120d7c1af0c0d1e91fa02889710fbf3a9e82627bf","cross_cats_sorted":["cs.OS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-04-29T06:22:32Z","title_canon_sha256":"04273baed299176cf2230b02fc1a84c0b93a15e9dec2184c5d00ee53359452ac"},"schema_version":"1.0","source":{"id":"1705.00138","kind":"arxiv","version":3}},"canonical_sha256":"2ba15e26966069b5092cba2fcba77d5e05128137001232bbac619d7e541d1610","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2ba15e26966069b5092cba2fcba77d5e05128137001232bbac619d7e541d1610","first_computed_at":"2026-05-18T00:43:47.896522Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:43:47.896522Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"C9ZXURCinvGoG2jySJKAK1SBhtHlzu+QbEbJa7Thx+yzewvDTv+vASALR9GMFhRcyA6HYq//eHDxAlvhodutCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:43:47.897089Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.00138","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:868974b5ebfb022656cbf5a92226a122854b4e74a88cb71b49b7755c2ea1fe1c","sha256:8ba04e408c6177fad95a6afb5903698a03aa95832bdb454c7a599b9bd80a676c"],"state_sha256":"5502eed7f98ffc0885e0458b9a741d0b1712f128daf6533a38fe5fa634b069fb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SkTWowwooj2NEHlVkAvHQ4nyGQ7MuyTHIcPodWL6q6sMXxm3SxlsgNSZ3VmPPSTo/H74MEd3LNSbxCn5Fn7ZBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T00:19:33.613062Z","bundle_sha256":"066f90569d30ed35dd16493b7b4d3a70f7663545b4530e56d7115646714ceb11"}}