{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:TQ5SMF26UXLSHM2H4SYZFHNGUK","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":"139871482747e131af327bfd38ba1362720195a4456977b8def1b15a563c508a","cross_cats_sorted":["cs.CR","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2026-06-24T05:31:13Z","title_canon_sha256":"e03b08fc5debf6a07e0aeb82580f472f5d2aa29437b99c3a800fedd9e50e41fa"},"schema_version":"1.0","source":{"id":"2606.25422","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.25422","created_at":"2026-06-25T01:18:04Z"},{"alias_kind":"arxiv_version","alias_value":"2606.25422v1","created_at":"2026-06-25T01:18:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.25422","created_at":"2026-06-25T01:18:04Z"},{"alias_kind":"pith_short_12","alias_value":"TQ5SMF26UXLS","created_at":"2026-06-25T01:18:04Z"},{"alias_kind":"pith_short_16","alias_value":"TQ5SMF26UXLSHM2H","created_at":"2026-06-25T01:18:04Z"},{"alias_kind":"pith_short_8","alias_value":"TQ5SMF26","created_at":"2026-06-25T01:18:04Z"}],"graph_snapshots":[{"event_id":"sha256:8171d2cb37f9669a251b871449c168c60263044e0b8fe747c1758f5e4a025c6e","target":"graph","created_at":"2026-06-25T01:18:04Z","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/2606.25422/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Persistent memory is a recently proposed memory paradigm that delivers many system-wide benefits, including improved runtime efficiency and the ability of programs to recover from power outages and system crashes. While recent research has investigated techniques for proving functional correctness of programs running on related architectures, this is not the case for the orthogonal concept of information flow security. In this paper, we provide an information flow logic for an unstructured language (i.e., with gotos rather than loops) modelling a simple assembly language. We apply this logic t","authors_text":"Graeme Smith","cross_cats":["cs.CR","cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2026-06-24T05:31:13Z","title":"Information flow security on persistent memory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.25422","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:e445dc719006ec81d27a2f40a8c79ba1913f32992da6b3f18e769d1f13833fd6","target":"record","created_at":"2026-06-25T01:18:04Z","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":"139871482747e131af327bfd38ba1362720195a4456977b8def1b15a563c508a","cross_cats_sorted":["cs.CR","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2026-06-24T05:31:13Z","title_canon_sha256":"e03b08fc5debf6a07e0aeb82580f472f5d2aa29437b99c3a800fedd9e50e41fa"},"schema_version":"1.0","source":{"id":"2606.25422","kind":"arxiv","version":1}},"canonical_sha256":"9c3b26175ea5d723b347e4b1929da6a2b4d43119910ae8753002d4caa0058d86","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9c3b26175ea5d723b347e4b1929da6a2b4d43119910ae8753002d4caa0058d86","first_computed_at":"2026-06-25T01:18:04.979168Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-25T01:18:04.979168Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CP6bLWj/GQX81V6KuOGGX/erh/5+8Rk1uJK1Zlp2iXJR4lVcPsWo50SIgNr4X0gTDIKKQ+0AJS6TT5B8TP+jCg==","signature_status":"signed_v1","signed_at":"2026-06-25T01:18:04.979584Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.25422","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e445dc719006ec81d27a2f40a8c79ba1913f32992da6b3f18e769d1f13833fd6","sha256:8171d2cb37f9669a251b871449c168c60263044e0b8fe747c1758f5e4a025c6e"],"state_sha256":"85ad4f272cafb8629300448698e0730a7d07ad4fb2d9ac1ca38a7ce375f57eed"}