{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:4EOCPY2LHBVY6V3CZ2PXJVP3V4","short_pith_number":"pith:4EOCPY2L","canonical_record":{"source":{"id":"1706.04759","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-06-15T07:32:12Z","cross_cats_sorted":[],"title_canon_sha256":"00ea277517e1e0517a95f8ac2f1b22c8dbc57f5808dcb7dfffd39de68d904395","abstract_canon_sha256":"9500bff64d66d7e18574f7432457ddd0e91725751659cede36180c37e1f8a077"},"schema_version":"1.0"},"canonical_sha256":"e11c27e34b386b8f5762ce9f74d5fbaf1faab680ad90cb04372c27c2000ffda9","source":{"kind":"arxiv","id":"1706.04759","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.04759","created_at":"2026-05-18T00:42:19Z"},{"alias_kind":"arxiv_version","alias_value":"1706.04759v1","created_at":"2026-05-18T00:42:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.04759","created_at":"2026-05-18T00:42:19Z"},{"alias_kind":"pith_short_12","alias_value":"4EOCPY2LHBVY","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"4EOCPY2LHBVY6V3C","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"4EOCPY2L","created_at":"2026-05-18T12:30:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:4EOCPY2LHBVY6V3CZ2PXJVP3V4","target":"record","payload":{"canonical_record":{"source":{"id":"1706.04759","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-06-15T07:32:12Z","cross_cats_sorted":[],"title_canon_sha256":"00ea277517e1e0517a95f8ac2f1b22c8dbc57f5808dcb7dfffd39de68d904395","abstract_canon_sha256":"9500bff64d66d7e18574f7432457ddd0e91725751659cede36180c37e1f8a077"},"schema_version":"1.0"},"canonical_sha256":"e11c27e34b386b8f5762ce9f74d5fbaf1faab680ad90cb04372c27c2000ffda9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:42:19.250518Z","signature_b64":"WRblB1HlD1CC+7WNTlWxS/lAuf8JeCDm3Z3vcDDWlgY/Az0uqINVjd1ZzQs1/EJQzav48jaBbxqOZ5QRvGL6Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e11c27e34b386b8f5762ce9f74d5fbaf1faab680ad90cb04372c27c2000ffda9","last_reissued_at":"2026-05-18T00:42:19.249999Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:42:19.249999Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1706.04759","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:42:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yRKMm4CZnBHHddhJsK0BgGkSpF/CXpm0C7OT766m7uJmY+3bJWI16ppJs9i5bV5q2HAZjo8ExV0iUN88Ccb1Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T02:36:30.170918Z"},"content_sha256":"6d812a140f7b4bf1b28ae33bdb3ede1a1a3b15138061cfe74d5a983c0b31f43f","schema_version":"1.0","event_id":"sha256:6d812a140f7b4bf1b28ae33bdb3ede1a1a3b15138061cfe74d5a983c0b31f43f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:4EOCPY2LHBVY6V3CZ2PXJVP3V4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"PrettyCat: Adaptive guarantee-controlled software partitioning of security protocols","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Alexander Senier, Martin Beck, Thorsten Strufe","submitted_at":"2017-06-15T07:32:12Z","abstract_excerpt":"One single error can result in a total compromise of all security in today's large, monolithic software. Partitioning of software can help simplify code-review and verification, whereas isolated execution of software-components limits the impact of incorrect implementations. However, existing application partitioning techniques are too expensive, too imprecise, or involve unsafe manual steps. An automatic, yet safe, approach to dissect security protocols into component-based systems is not available. We present a method and toolset to automatically segregate security related software into an i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.04759","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:42:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RkIJHImC/0SW7VfR90exd0Fw/7xtfr+dVeWi9Q05qCKOIgnFgxHg4QmyYVL/QGy5B5KrVEBOhqk1+QNirDlwBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T02:36:30.171260Z"},"content_sha256":"b6c910607f62dc176772532e2dee1aeeb9560adbf7bb0d6545b8514d927c7fae","schema_version":"1.0","event_id":"sha256:b6c910607f62dc176772532e2dee1aeeb9560adbf7bb0d6545b8514d927c7fae"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4EOCPY2LHBVY6V3CZ2PXJVP3V4/bundle.json","state_url":"https://pith.science/pith/4EOCPY2LHBVY6V3CZ2PXJVP3V4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4EOCPY2LHBVY6V3CZ2PXJVP3V4/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-04T02:36:30Z","links":{"resolver":"https://pith.science/pith/4EOCPY2LHBVY6V3CZ2PXJVP3V4","bundle":"https://pith.science/pith/4EOCPY2LHBVY6V3CZ2PXJVP3V4/bundle.json","state":"https://pith.science/pith/4EOCPY2LHBVY6V3CZ2PXJVP3V4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4EOCPY2LHBVY6V3CZ2PXJVP3V4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:4EOCPY2LHBVY6V3CZ2PXJVP3V4","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":"9500bff64d66d7e18574f7432457ddd0e91725751659cede36180c37e1f8a077","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-06-15T07:32:12Z","title_canon_sha256":"00ea277517e1e0517a95f8ac2f1b22c8dbc57f5808dcb7dfffd39de68d904395"},"schema_version":"1.0","source":{"id":"1706.04759","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.04759","created_at":"2026-05-18T00:42:19Z"},{"alias_kind":"arxiv_version","alias_value":"1706.04759v1","created_at":"2026-05-18T00:42:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.04759","created_at":"2026-05-18T00:42:19Z"},{"alias_kind":"pith_short_12","alias_value":"4EOCPY2LHBVY","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"4EOCPY2LHBVY6V3C","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"4EOCPY2L","created_at":"2026-05-18T12:30:58Z"}],"graph_snapshots":[{"event_id":"sha256:b6c910607f62dc176772532e2dee1aeeb9560adbf7bb0d6545b8514d927c7fae","target":"graph","created_at":"2026-05-18T00:42:19Z","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":"One single error can result in a total compromise of all security in today's large, monolithic software. Partitioning of software can help simplify code-review and verification, whereas isolated execution of software-components limits the impact of incorrect implementations. However, existing application partitioning techniques are too expensive, too imprecise, or involve unsafe manual steps. An automatic, yet safe, approach to dissect security protocols into component-based systems is not available. We present a method and toolset to automatically segregate security related software into an i","authors_text":"Alexander Senier, Martin Beck, Thorsten Strufe","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-06-15T07:32:12Z","title":"PrettyCat: Adaptive guarantee-controlled software partitioning of security protocols"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.04759","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:6d812a140f7b4bf1b28ae33bdb3ede1a1a3b15138061cfe74d5a983c0b31f43f","target":"record","created_at":"2026-05-18T00:42:19Z","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":"9500bff64d66d7e18574f7432457ddd0e91725751659cede36180c37e1f8a077","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-06-15T07:32:12Z","title_canon_sha256":"00ea277517e1e0517a95f8ac2f1b22c8dbc57f5808dcb7dfffd39de68d904395"},"schema_version":"1.0","source":{"id":"1706.04759","kind":"arxiv","version":1}},"canonical_sha256":"e11c27e34b386b8f5762ce9f74d5fbaf1faab680ad90cb04372c27c2000ffda9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e11c27e34b386b8f5762ce9f74d5fbaf1faab680ad90cb04372c27c2000ffda9","first_computed_at":"2026-05-18T00:42:19.249999Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:42:19.249999Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WRblB1HlD1CC+7WNTlWxS/lAuf8JeCDm3Z3vcDDWlgY/Az0uqINVjd1ZzQs1/EJQzav48jaBbxqOZ5QRvGL6Dw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:42:19.250518Z","signed_message":"canonical_sha256_bytes"},"source_id":"1706.04759","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6d812a140f7b4bf1b28ae33bdb3ede1a1a3b15138061cfe74d5a983c0b31f43f","sha256:b6c910607f62dc176772532e2dee1aeeb9560adbf7bb0d6545b8514d927c7fae"],"state_sha256":"9e4bb68aa466a7970e9b7a93ef1f56de9c02a4412b0278753a0a4f838a7297d6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qYO415qxi5Wfws1XqjUgas+ZLLf0fL6N8sUFlNG0auiQmC7/1ypR/NDD6GyFMEWu4VqdZVRhTk6e/6aHfp1jDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T02:36:30.173213Z","bundle_sha256":"282e5fdc9e70423bd6f8904b688b0f43f6b321c2f50fbc2b423ea46129c1d08c"}}