{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:TO4QLYMN7DP6YO4RLFSUKTYQ2K","short_pith_number":"pith:TO4QLYMN","canonical_record":{"source":{"id":"2605.22087","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-21T07:27:28Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"8c29a0dc0688e163a5592a34885be83dfed35dadee6f9ba60623dec0609c7666","abstract_canon_sha256":"723cfab750b135743b741a50d842a04bd689ef9f2298e9a5bcdc72c965587a34"},"schema_version":"1.0"},"canonical_sha256":"9bb905e18df8dfec3b915965454f10d28823d614fd2af193ade0d72ceda46c78","source":{"kind":"arxiv","id":"2605.22087","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.22087","created_at":"2026-05-22T01:04:24Z"},{"alias_kind":"arxiv_version","alias_value":"2605.22087v1","created_at":"2026-05-22T01:04:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.22087","created_at":"2026-05-22T01:04:24Z"},{"alias_kind":"pith_short_12","alias_value":"TO4QLYMN7DP6","created_at":"2026-05-22T01:04:24Z"},{"alias_kind":"pith_short_16","alias_value":"TO4QLYMN7DP6YO4R","created_at":"2026-05-22T01:04:24Z"},{"alias_kind":"pith_short_8","alias_value":"TO4QLYMN","created_at":"2026-05-22T01:04:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:TO4QLYMN7DP6YO4RLFSUKTYQ2K","target":"record","payload":{"canonical_record":{"source":{"id":"2605.22087","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-21T07:27:28Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"8c29a0dc0688e163a5592a34885be83dfed35dadee6f9ba60623dec0609c7666","abstract_canon_sha256":"723cfab750b135743b741a50d842a04bd689ef9f2298e9a5bcdc72c965587a34"},"schema_version":"1.0"},"canonical_sha256":"9bb905e18df8dfec3b915965454f10d28823d614fd2af193ade0d72ceda46c78","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-22T01:04:24.884248Z","signature_b64":"BsAahnDyZABNsBaaRmQ3r4zPngp2YUDcaQkT2F85LCLSbio1ueYu+mfVw9n3qnrqa7Tjif0tdjMXSWUox4gcBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9bb905e18df8dfec3b915965454f10d28823d614fd2af193ade0d72ceda46c78","last_reissued_at":"2026-05-22T01:04:24.883341Z","signature_status":"signed_v1","first_computed_at":"2026-05-22T01:04:24.883341Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.22087","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-22T01:04:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XbMr6Ilc5NCgksBUbS5qWIpfubB5R+Mb77Pi/OhnPUdv7n39m/yHDtDQrzTIu+MNUYKJziF5hayV1f14oiSKBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T19:06:27.271507Z"},"content_sha256":"b1df4427cb0d5e65f880ec3dbe4062427b7307692228139e8927291af172e578","schema_version":"1.0","event_id":"sha256:b1df4427cb0d5e65f880ec3dbe4062427b7307692228139e8927291af172e578"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:TO4QLYMN7DP6YO4RLFSUKTYQ2K","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automated Repair of TEE Partitioning Issues via DSL-Guided and LLM-Assisted Patching","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.SE","authors_text":"Chengyan Ma, David Lo, Feng Li, Jieke Shi, Ruidong Han, Ye Liu, Yuqing Niu","submitted_at":"2026-05-21T07:27:28Z","abstract_excerpt":"Trusted Execution Environments (TEEs) provide hardware-based isolation to protect sensitive data and computations from potentially compromised operating systems (OS). However, TEE applications inevitably interact with the untrusted OS through SDK interfaces, and improper partitioning can introduce severe vulnerabilities such as data leakage and code injection. While prior work has proposed static analysis tools to detect such issues, automated repair remains largely unexplored. This problem is particularly challenging due to three TEE-specific factors: the lack of standardized secure developme"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.22087","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.22087/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-22T01:04:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"R/bd4fGl7MO5hyk+R+So+ZFt9q2ti9fCpsLDLF8mw8Xwf60AP7Ief0LciTkaYFT5OqvIs4PdaMvYfV0zvI+3Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T19:06:27.272154Z"},"content_sha256":"b0b2cdf3dde3eac04e208e55ee909b2eb50c6f3bba43b285ff21ac0ffc93041d","schema_version":"1.0","event_id":"sha256:b0b2cdf3dde3eac04e208e55ee909b2eb50c6f3bba43b285ff21ac0ffc93041d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TO4QLYMN7DP6YO4RLFSUKTYQ2K/bundle.json","state_url":"https://pith.science/pith/TO4QLYMN7DP6YO4RLFSUKTYQ2K/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TO4QLYMN7DP6YO4RLFSUKTYQ2K/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-30T19:06:27Z","links":{"resolver":"https://pith.science/pith/TO4QLYMN7DP6YO4RLFSUKTYQ2K","bundle":"https://pith.science/pith/TO4QLYMN7DP6YO4RLFSUKTYQ2K/bundle.json","state":"https://pith.science/pith/TO4QLYMN7DP6YO4RLFSUKTYQ2K/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TO4QLYMN7DP6YO4RLFSUKTYQ2K/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:TO4QLYMN7DP6YO4RLFSUKTYQ2K","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":"723cfab750b135743b741a50d842a04bd689ef9f2298e9a5bcdc72c965587a34","cross_cats_sorted":["cs.CR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-21T07:27:28Z","title_canon_sha256":"8c29a0dc0688e163a5592a34885be83dfed35dadee6f9ba60623dec0609c7666"},"schema_version":"1.0","source":{"id":"2605.22087","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.22087","created_at":"2026-05-22T01:04:24Z"},{"alias_kind":"arxiv_version","alias_value":"2605.22087v1","created_at":"2026-05-22T01:04:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.22087","created_at":"2026-05-22T01:04:24Z"},{"alias_kind":"pith_short_12","alias_value":"TO4QLYMN7DP6","created_at":"2026-05-22T01:04:24Z"},{"alias_kind":"pith_short_16","alias_value":"TO4QLYMN7DP6YO4R","created_at":"2026-05-22T01:04:24Z"},{"alias_kind":"pith_short_8","alias_value":"TO4QLYMN","created_at":"2026-05-22T01:04:24Z"}],"graph_snapshots":[{"event_id":"sha256:b0b2cdf3dde3eac04e208e55ee909b2eb50c6f3bba43b285ff21ac0ffc93041d","target":"graph","created_at":"2026-05-22T01:04:24Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2605.22087/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Trusted Execution Environments (TEEs) provide hardware-based isolation to protect sensitive data and computations from potentially compromised operating systems (OS). However, TEE applications inevitably interact with the untrusted OS through SDK interfaces, and improper partitioning can introduce severe vulnerabilities such as data leakage and code injection. While prior work has proposed static analysis tools to detect such issues, automated repair remains largely unexplored. This problem is particularly challenging due to three TEE-specific factors: the lack of standardized secure developme","authors_text":"Chengyan Ma, David Lo, Feng Li, Jieke Shi, Ruidong Han, Ye Liu, Yuqing Niu","cross_cats":["cs.CR"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-21T07:27:28Z","title":"Automated Repair of TEE Partitioning Issues via DSL-Guided and LLM-Assisted Patching"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.22087","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:b1df4427cb0d5e65f880ec3dbe4062427b7307692228139e8927291af172e578","target":"record","created_at":"2026-05-22T01:04:24Z","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":"723cfab750b135743b741a50d842a04bd689ef9f2298e9a5bcdc72c965587a34","cross_cats_sorted":["cs.CR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-21T07:27:28Z","title_canon_sha256":"8c29a0dc0688e163a5592a34885be83dfed35dadee6f9ba60623dec0609c7666"},"schema_version":"1.0","source":{"id":"2605.22087","kind":"arxiv","version":1}},"canonical_sha256":"9bb905e18df8dfec3b915965454f10d28823d614fd2af193ade0d72ceda46c78","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9bb905e18df8dfec3b915965454f10d28823d614fd2af193ade0d72ceda46c78","first_computed_at":"2026-05-22T01:04:24.883341Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-22T01:04:24.883341Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BsAahnDyZABNsBaaRmQ3r4zPngp2YUDcaQkT2F85LCLSbio1ueYu+mfVw9n3qnrqa7Tjif0tdjMXSWUox4gcBA==","signature_status":"signed_v1","signed_at":"2026-05-22T01:04:24.884248Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.22087","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b1df4427cb0d5e65f880ec3dbe4062427b7307692228139e8927291af172e578","sha256:b0b2cdf3dde3eac04e208e55ee909b2eb50c6f3bba43b285ff21ac0ffc93041d"],"state_sha256":"abaa9dafc8ff954b6b1db3b03aa123fc289fd48ccfa8075a9d335bde9e5a90bb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"11F+ovcXiDBe6ystw+f4dfTY6ycch3IKkft5GMGXQk3L0lGyNJQ319MN5CzwbwoLOGLMBrTGtqzVpIV/WiwDBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T19:06:27.274293Z","bundle_sha256":"112d372d965b858d659fd51e0275b7f50c4957613810360142e496debf0d8d08"}}