{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:NLLB7KFJAKSQBWQQHDIRRM2RXJ","short_pith_number":"pith:NLLB7KFJ","schema_version":"1.0","canonical_sha256":"6ad61fa8a902a500da1038d118b351ba63bc33c29837ececa79de976a8c8e7ab","source":{"kind":"arxiv","id":"2309.11332","version":2},"attestation_state":"computed","paper":{"title":"Software Compartmentalization Trade-Offs with Hardware Capabilities","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.OS"],"primary_cat":"cs.CR","authors_text":"Hugo Lefeuvre, John Alistair Kressel, Pierre Olivier","submitted_at":"2023-09-20T14:07:20Z","abstract_excerpt":"Compartmentalization is a form of defensive software design in which an application is broken down into isolated but communicating components. Retrofitting compartmentalization into existing applications is often thought to be expensive from the engineering effort and performance overhead points of view. Still, recent years have seen proposals of compartmentalization methods with promises of low engineering efforts and reduced performance impact. ARM Morello combines a modern ARM processor with an implementation of Capability Hardware Enhanced RISC Instructions (CHERI) aiming to provide effici"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2309.11332","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2023-09-20T14:07:20Z","cross_cats_sorted":["cs.OS"],"title_canon_sha256":"f3dd669fd50961b98d5f3a2545d67cf060e83a4b406d9c5a064446947cec3078","abstract_canon_sha256":"635fe65281ebb4aa4949075004bc562cc1076a538ffd681369327bc0c0a72262"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:52:50.871439Z","signature_b64":"f0ihJJ+cO4zoWHEqb0QcBxshA7Y1WPf+ja9Mx27VRS9LJ1p8tvZUtj21IFyzDKfYspYmdXc6MDZuAzHJ3EoeBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6ad61fa8a902a500da1038d118b351ba63bc33c29837ececa79de976a8c8e7ab","last_reissued_at":"2026-07-05T06:52:50.870890Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:52:50.870890Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Software Compartmentalization Trade-Offs with Hardware Capabilities","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.OS"],"primary_cat":"cs.CR","authors_text":"Hugo Lefeuvre, John Alistair Kressel, Pierre Olivier","submitted_at":"2023-09-20T14:07:20Z","abstract_excerpt":"Compartmentalization is a form of defensive software design in which an application is broken down into isolated but communicating components. Retrofitting compartmentalization into existing applications is often thought to be expensive from the engineering effort and performance overhead points of view. Still, recent years have seen proposals of compartmentalization methods with promises of low engineering efforts and reduced performance impact. ARM Morello combines a modern ARM processor with an implementation of Capability Hardware Enhanced RISC Instructions (CHERI) aiming to provide effici"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.11332","kind":"arxiv","version":2},"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/2309.11332/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2309.11332","created_at":"2026-07-05T06:52:50.870955+00:00"},{"alias_kind":"arxiv_version","alias_value":"2309.11332v2","created_at":"2026-07-05T06:52:50.870955+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.11332","created_at":"2026-07-05T06:52:50.870955+00:00"},{"alias_kind":"pith_short_12","alias_value":"NLLB7KFJAKSQ","created_at":"2026-07-05T06:52:50.870955+00:00"},{"alias_kind":"pith_short_16","alias_value":"NLLB7KFJAKSQBWQQ","created_at":"2026-07-05T06:52:50.870955+00:00"},{"alias_kind":"pith_short_8","alias_value":"NLLB7KFJ","created_at":"2026-07-05T06:52:50.870955+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/NLLB7KFJAKSQBWQQHDIRRM2RXJ","json":"https://pith.science/pith/NLLB7KFJAKSQBWQQHDIRRM2RXJ.json","graph_json":"https://pith.science/api/pith-number/NLLB7KFJAKSQBWQQHDIRRM2RXJ/graph.json","events_json":"https://pith.science/api/pith-number/NLLB7KFJAKSQBWQQHDIRRM2RXJ/events.json","paper":"https://pith.science/paper/NLLB7KFJ"},"agent_actions":{"view_html":"https://pith.science/pith/NLLB7KFJAKSQBWQQHDIRRM2RXJ","download_json":"https://pith.science/pith/NLLB7KFJAKSQBWQQHDIRRM2RXJ.json","view_paper":"https://pith.science/paper/NLLB7KFJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2309.11332&json=true","fetch_graph":"https://pith.science/api/pith-number/NLLB7KFJAKSQBWQQHDIRRM2RXJ/graph.json","fetch_events":"https://pith.science/api/pith-number/NLLB7KFJAKSQBWQQHDIRRM2RXJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/NLLB7KFJAKSQBWQQHDIRRM2RXJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/NLLB7KFJAKSQBWQQHDIRRM2RXJ/action/storage_attestation","attest_author":"https://pith.science/pith/NLLB7KFJAKSQBWQQHDIRRM2RXJ/action/author_attestation","sign_citation":"https://pith.science/pith/NLLB7KFJAKSQBWQQHDIRRM2RXJ/action/citation_signature","submit_replication":"https://pith.science/pith/NLLB7KFJAKSQBWQQHDIRRM2RXJ/action/replication_record"}},"created_at":"2026-07-05T06:52:50.870955+00:00","updated_at":"2026-07-05T06:52:50.870955+00:00"}