{"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"}