{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:LCXMUVMXZ4HPE3XQ2AHZIH6FV7","short_pith_number":"pith:LCXMUVMX","schema_version":"1.0","canonical_sha256":"58aeca5597cf0ef26ef0d00f941fc5afd7df7c2210414fdd470c0f6a4e4a3437","source":{"kind":"arxiv","id":"2303.16353","version":3},"attestation_state":"computed","paper":{"title":"FineIBT: Fine-grain Control-flow Enforcement with Indirect Branch Tracking","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Alexander J. Gaidis, Alyssa Milburn, Joao Moreira, Ke Sun, Vaggelis Atlidakis, Vasileios P. Kemerlis","submitted_at":"2023-03-28T23:21:10Z","abstract_excerpt":"We present the design, implementation, and evaluation of FineIBT: a CFI enforcement mechanism that improves the precision of hardware-assisted CFI solutions, like Intel IBT, by instrumenting program code to reduce the valid/allowed targets of indirect forward-edge transfers. We study the design of FineIBT on the x86-64 architecture, and implement and evaluate it on Linux and the LLVM toolchain. We designed FineIBT's instrumentation to be compact, incurring low runtime and memory overheads, and generic, so as to support different CFI policies. Our prototype implementation incurs negligible runt"},"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":"2303.16353","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2023-03-28T23:21:10Z","cross_cats_sorted":[],"title_canon_sha256":"b12688aeb5f911d2b1df0a710208079f5ece4019065f6e82755a7b3289a19bcc","abstract_canon_sha256":"a5e80d94e58aa4a24ab515f124fedbcde4929c37892edc00944ed2ad9c563439"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:50:28.730767Z","signature_b64":"70+r4Eu9qbFtOhhucpQrI4MiDI7YmxOcmAiThnIoI3wsMOHQit2IqMkFNNbCrXlLNJLbcG9+LN3FkyKgieUuBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"58aeca5597cf0ef26ef0d00f941fc5afd7df7c2210414fdd470c0f6a4e4a3437","last_reissued_at":"2026-07-05T06:50:28.730281Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:50:28.730281Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"FineIBT: Fine-grain Control-flow Enforcement with Indirect Branch Tracking","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Alexander J. Gaidis, Alyssa Milburn, Joao Moreira, Ke Sun, Vaggelis Atlidakis, Vasileios P. Kemerlis","submitted_at":"2023-03-28T23:21:10Z","abstract_excerpt":"We present the design, implementation, and evaluation of FineIBT: a CFI enforcement mechanism that improves the precision of hardware-assisted CFI solutions, like Intel IBT, by instrumenting program code to reduce the valid/allowed targets of indirect forward-edge transfers. We study the design of FineIBT on the x86-64 architecture, and implement and evaluate it on Linux and the LLVM toolchain. We designed FineIBT's instrumentation to be compact, incurring low runtime and memory overheads, and generic, so as to support different CFI policies. Our prototype implementation incurs negligible runt"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.16353","kind":"arxiv","version":3},"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/2303.16353/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":"2303.16353","created_at":"2026-07-05T06:50:28.730342+00:00"},{"alias_kind":"arxiv_version","alias_value":"2303.16353v3","created_at":"2026-07-05T06:50:28.730342+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.16353","created_at":"2026-07-05T06:50:28.730342+00:00"},{"alias_kind":"pith_short_12","alias_value":"LCXMUVMXZ4HP","created_at":"2026-07-05T06:50:28.730342+00:00"},{"alias_kind":"pith_short_16","alias_value":"LCXMUVMXZ4HPE3XQ","created_at":"2026-07-05T06:50:28.730342+00:00"},{"alias_kind":"pith_short_8","alias_value":"LCXMUVMX","created_at":"2026-07-05T06:50:28.730342+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2511.14088","citing_title":"Resolving Availability and Run-time Integrity Conflicts in Real-Time Embedded Systems","ref_index":23,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/LCXMUVMXZ4HPE3XQ2AHZIH6FV7","json":"https://pith.science/pith/LCXMUVMXZ4HPE3XQ2AHZIH6FV7.json","graph_json":"https://pith.science/api/pith-number/LCXMUVMXZ4HPE3XQ2AHZIH6FV7/graph.json","events_json":"https://pith.science/api/pith-number/LCXMUVMXZ4HPE3XQ2AHZIH6FV7/events.json","paper":"https://pith.science/paper/LCXMUVMX"},"agent_actions":{"view_html":"https://pith.science/pith/LCXMUVMXZ4HPE3XQ2AHZIH6FV7","download_json":"https://pith.science/pith/LCXMUVMXZ4HPE3XQ2AHZIH6FV7.json","view_paper":"https://pith.science/paper/LCXMUVMX","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2303.16353&json=true","fetch_graph":"https://pith.science/api/pith-number/LCXMUVMXZ4HPE3XQ2AHZIH6FV7/graph.json","fetch_events":"https://pith.science/api/pith-number/LCXMUVMXZ4HPE3XQ2AHZIH6FV7/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LCXMUVMXZ4HPE3XQ2AHZIH6FV7/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LCXMUVMXZ4HPE3XQ2AHZIH6FV7/action/storage_attestation","attest_author":"https://pith.science/pith/LCXMUVMXZ4HPE3XQ2AHZIH6FV7/action/author_attestation","sign_citation":"https://pith.science/pith/LCXMUVMXZ4HPE3XQ2AHZIH6FV7/action/citation_signature","submit_replication":"https://pith.science/pith/LCXMUVMXZ4HPE3XQ2AHZIH6FV7/action/replication_record"}},"created_at":"2026-07-05T06:50:28.730342+00:00","updated_at":"2026-07-05T06:50:28.730342+00:00"}