{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:6TB66XWIWJFHRVUGWUADY5D6KN","short_pith_number":"pith:6TB66XWI","canonical_record":{"source":{"id":"2506.00857","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-06-01T06:35:40Z","cross_cats_sorted":[],"title_canon_sha256":"9a3fea32d5153618a5731a44b38ec1a32216511c2a87d9219e90f3f932e7320c","abstract_canon_sha256":"df6d91cae945f822ae8e405d61f265fdc8bf614c3564e3e6380cc5cbf865034a"},"schema_version":"1.0"},"canonical_sha256":"f4c3ef5ec8b24a78d686b5003c747e534b7a7e459d735cda8e8a4ae21da4d901","source":{"kind":"arxiv","id":"2506.00857","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.00857","created_at":"2026-07-05T11:13:41Z"},{"alias_kind":"arxiv_version","alias_value":"2506.00857v1","created_at":"2026-07-05T11:13:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.00857","created_at":"2026-07-05T11:13:41Z"},{"alias_kind":"pith_short_12","alias_value":"6TB66XWIWJFH","created_at":"2026-07-05T11:13:41Z"},{"alias_kind":"pith_short_16","alias_value":"6TB66XWIWJFHRVUG","created_at":"2026-07-05T11:13:41Z"},{"alias_kind":"pith_short_8","alias_value":"6TB66XWI","created_at":"2026-07-05T11:13:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:6TB66XWIWJFHRVUGWUADY5D6KN","target":"record","payload":{"canonical_record":{"source":{"id":"2506.00857","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-06-01T06:35:40Z","cross_cats_sorted":[],"title_canon_sha256":"9a3fea32d5153618a5731a44b38ec1a32216511c2a87d9219e90f3f932e7320c","abstract_canon_sha256":"df6d91cae945f822ae8e405d61f265fdc8bf614c3564e3e6380cc5cbf865034a"},"schema_version":"1.0"},"canonical_sha256":"f4c3ef5ec8b24a78d686b5003c747e534b7a7e459d735cda8e8a4ae21da4d901","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:13:41.829803Z","signature_b64":"hGCK5HXYwvqCMK+dpe0VpLYFgbysodP66pRNv5+0gjJjJzzcYIEQVpWv2hDVi5sxsZ5IUMqOn1XI0scxoDTDBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f4c3ef5ec8b24a78d686b5003c747e534b7a7e459d735cda8e8a4ae21da4d901","last_reissued_at":"2026-07-05T11:13:41.829303Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:13:41.829303Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.00857","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:13:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"D3p2OSMKfMCHC1Vb96lmVNOaZH+5FxUadDEf8AGi8xsdr53EP55oqCyy107sl847ObgqkYNVpyS+ViureFkUBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T07:30:27.147713Z"},"content_sha256":"18146ee4b65e63e01befb5cfbb788a1728022118744f9a53ba496e25ebbec97c","schema_version":"1.0","event_id":"sha256:18146ee4b65e63e01befb5cfbb788a1728022118744f9a53ba496e25ebbec97c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:6TB66XWIWJFHRVUGWUADY5D6KN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"ARIANNA: An Automatic Design Flow for Fabric Customization and eFPGA Redaction","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Abdul Khader Thalakkattu Moosa, Benjamin Tan, Chiara Muscari Tomajoli, Christian Pilato, Jitendra Bhandari, Luca Collini, Pierre-Emmanuel Gaillardon, Ramesh Karri, Xifan Tang","submitted_at":"2025-06-01T06:35:40Z","abstract_excerpt":"In the modern global Integrated Circuit (IC) supply chain, protecting intellectual property (IP) is a complex challenge, and balancing IP loss risk and added cost for theft countermeasures is hard to achieve. Using embedded configurable logic allows designers to completely hide the functionality of selected design portions from parties that do not have access to the configuration string (bitstream). However, the design space of redacted solutions is huge, with trade-offs between the portions selected for redaction and the configuration of the configurable embedded logic. We propose ARIANNA, a "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.00857","kind":"arxiv","version":1},"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/2506.00857/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:13:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MG8UrGnjOykYDvW29rE31moKoA75cLPXmp7YUmMjqq2QGxRpmBbUBjmSMJTpNvzhb3W0XZ+5Af1LLkcEqkLFCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T07:30:27.148549Z"},"content_sha256":"78ea80f5b9edc194dcc2e3015991f1efe328940df064e43821f8b6eef3a09ff2","schema_version":"1.0","event_id":"sha256:78ea80f5b9edc194dcc2e3015991f1efe328940df064e43821f8b6eef3a09ff2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6TB66XWIWJFHRVUGWUADY5D6KN/bundle.json","state_url":"https://pith.science/pith/6TB66XWIWJFHRVUGWUADY5D6KN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6TB66XWIWJFHRVUGWUADY5D6KN/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-10T07:30:27Z","links":{"resolver":"https://pith.science/pith/6TB66XWIWJFHRVUGWUADY5D6KN","bundle":"https://pith.science/pith/6TB66XWIWJFHRVUGWUADY5D6KN/bundle.json","state":"https://pith.science/pith/6TB66XWIWJFHRVUGWUADY5D6KN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6TB66XWIWJFHRVUGWUADY5D6KN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:6TB66XWIWJFHRVUGWUADY5D6KN","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":"df6d91cae945f822ae8e405d61f265fdc8bf614c3564e3e6380cc5cbf865034a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-06-01T06:35:40Z","title_canon_sha256":"9a3fea32d5153618a5731a44b38ec1a32216511c2a87d9219e90f3f932e7320c"},"schema_version":"1.0","source":{"id":"2506.00857","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.00857","created_at":"2026-07-05T11:13:41Z"},{"alias_kind":"arxiv_version","alias_value":"2506.00857v1","created_at":"2026-07-05T11:13:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.00857","created_at":"2026-07-05T11:13:41Z"},{"alias_kind":"pith_short_12","alias_value":"6TB66XWIWJFH","created_at":"2026-07-05T11:13:41Z"},{"alias_kind":"pith_short_16","alias_value":"6TB66XWIWJFHRVUG","created_at":"2026-07-05T11:13:41Z"},{"alias_kind":"pith_short_8","alias_value":"6TB66XWI","created_at":"2026-07-05T11:13:41Z"}],"graph_snapshots":[{"event_id":"sha256:78ea80f5b9edc194dcc2e3015991f1efe328940df064e43821f8b6eef3a09ff2","target":"graph","created_at":"2026-07-05T11:13:41Z","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/2506.00857/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In the modern global Integrated Circuit (IC) supply chain, protecting intellectual property (IP) is a complex challenge, and balancing IP loss risk and added cost for theft countermeasures is hard to achieve. Using embedded configurable logic allows designers to completely hide the functionality of selected design portions from parties that do not have access to the configuration string (bitstream). However, the design space of redacted solutions is huge, with trade-offs between the portions selected for redaction and the configuration of the configurable embedded logic. We propose ARIANNA, a ","authors_text":"Abdul Khader Thalakkattu Moosa, Benjamin Tan, Chiara Muscari Tomajoli, Christian Pilato, Jitendra Bhandari, Luca Collini, Pierre-Emmanuel Gaillardon, Ramesh Karri, Xifan Tang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-06-01T06:35:40Z","title":"ARIANNA: An Automatic Design Flow for Fabric Customization and eFPGA Redaction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.00857","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:18146ee4b65e63e01befb5cfbb788a1728022118744f9a53ba496e25ebbec97c","target":"record","created_at":"2026-07-05T11:13:41Z","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":"df6d91cae945f822ae8e405d61f265fdc8bf614c3564e3e6380cc5cbf865034a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-06-01T06:35:40Z","title_canon_sha256":"9a3fea32d5153618a5731a44b38ec1a32216511c2a87d9219e90f3f932e7320c"},"schema_version":"1.0","source":{"id":"2506.00857","kind":"arxiv","version":1}},"canonical_sha256":"f4c3ef5ec8b24a78d686b5003c747e534b7a7e459d735cda8e8a4ae21da4d901","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f4c3ef5ec8b24a78d686b5003c747e534b7a7e459d735cda8e8a4ae21da4d901","first_computed_at":"2026-07-05T11:13:41.829303Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:13:41.829303Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hGCK5HXYwvqCMK+dpe0VpLYFgbysodP66pRNv5+0gjJjJzzcYIEQVpWv2hDVi5sxsZ5IUMqOn1XI0scxoDTDBA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:13:41.829803Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.00857","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:18146ee4b65e63e01befb5cfbb788a1728022118744f9a53ba496e25ebbec97c","sha256:78ea80f5b9edc194dcc2e3015991f1efe328940df064e43821f8b6eef3a09ff2"],"state_sha256":"589c21837ed0f605a34151f6db778caeae8da1faddf01bab99d9685bc89d407f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XPp9heGwdPnxbbUo0bXVehhWlPxkeCzkU4ofWsI/8sc1u6wPQ8FITZsw5u6tEYPkhe1P0sN2uHyhQgHTlP4vCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T07:30:27.154893Z","bundle_sha256":"4e40c8de7443ab4984a0f45f74f9cf4f62f41f8d5a2f8dba3c01fc4e6278e637"}}