{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:Y4V644WXWBYODXXS4PA6DSCKOM","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":"00cf56a0ce1e26c126bf7f7029bbebbb9fab653c311bf782c5910dfd1e455cc3","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2025-07-04T07:12:43Z","title_canon_sha256":"5b7e5d3f635416c345aa3d6f724ec1579a0463b1b9e2bd938b44c448e5b267fc"},"schema_version":"1.0","source":{"id":"2507.03344","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.03344","created_at":"2026-07-05T11:31:57Z"},{"alias_kind":"arxiv_version","alias_value":"2507.03344v1","created_at":"2026-07-05T11:31:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.03344","created_at":"2026-07-05T11:31:57Z"},{"alias_kind":"pith_short_12","alias_value":"Y4V644WXWBYO","created_at":"2026-07-05T11:31:57Z"},{"alias_kind":"pith_short_16","alias_value":"Y4V644WXWBYODXXS","created_at":"2026-07-05T11:31:57Z"},{"alias_kind":"pith_short_8","alias_value":"Y4V644WX","created_at":"2026-07-05T11:31:57Z"}],"graph_snapshots":[{"event_id":"sha256:f5aa33e04173612481f955c5d571e374f10309d9fad4b9232ba4e44ff9f3ec3c","target":"graph","created_at":"2026-07-05T11:31:57Z","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/2507.03344/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The Rust programming language enforces three basic Rust principles, namely ownership, borrowing, and AXM (Aliasing Xor Mutability) to prevent security bugs such as memory safety violations and data races. However, Rust projects often have mixed code, i.e., code that also uses unsafe Rust, FFI (Foreign Function Interfaces), and inline assembly for low-level control. The Rust compiler is unable to statically enforce Rust principles in mixed Rust code which can lead to many security vulnerabilities. In this paper, we propose CapsLock, a security enforcement mechanism that can run at the level of ","authors_text":"Fangqi Han, Jason Zhijingcheng Yu, Kaustab Choudhury, Prateek Saxena, Trevor E. Carlson","cross_cats":["cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2025-07-04T07:12:43Z","title":"Securing Mixed Rust with Hardware Capabilities"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.03344","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:518ddf8113cd09675e55be180d397a2987c90814346af353785d6d9b1fe61aed","target":"record","created_at":"2026-07-05T11:31:57Z","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":"00cf56a0ce1e26c126bf7f7029bbebbb9fab653c311bf782c5910dfd1e455cc3","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2025-07-04T07:12:43Z","title_canon_sha256":"5b7e5d3f635416c345aa3d6f724ec1579a0463b1b9e2bd938b44c448e5b267fc"},"schema_version":"1.0","source":{"id":"2507.03344","kind":"arxiv","version":1}},"canonical_sha256":"c72bee72d7b070e1def2e3c1e1c84a731beedc285d5e8e3531e6ab9d036f273c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c72bee72d7b070e1def2e3c1e1c84a731beedc285d5e8e3531e6ab9d036f273c","first_computed_at":"2026-07-05T11:31:57.646732Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:31:57.646732Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RNUFnJJfsq5TeyDjozuJ2oTbHi5tuyLuHBkh0Zm6e2skwVHhu3/++VqHGXW0dzh+JzyT3rTG3Kqq1nj5dRV2Bw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:31:57.647301Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.03344","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:518ddf8113cd09675e55be180d397a2987c90814346af353785d6d9b1fe61aed","sha256:f5aa33e04173612481f955c5d571e374f10309d9fad4b9232ba4e44ff9f3ec3c"],"state_sha256":"6d97dd8a91686147cc0b54d081279c3f9f8530748ed4833b916c32894dcbf681"}