{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:6OIFL6XR7HJE4JVM3RE2PBL3HO","short_pith_number":"pith:6OIFL6XR","canonical_record":{"source":{"id":"2308.11042","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-08-21T21:05:22Z","cross_cats_sorted":["cs.AR"],"title_canon_sha256":"c4ec1d7b6b1822f1924bb4c9e94e407349a89d3b8461066a338fa1e504741e6a","abstract_canon_sha256":"3c9cde0b502fb7af71c0063ae9a54d226dca620a82a9d0ac45a23037776d776f"},"schema_version":"1.0"},"canonical_sha256":"f39055faf1f9d24e26acdc49a7857b3b85cf35ab7f4129eed8c02513d8ac24be","source":{"kind":"arxiv","id":"2308.11042","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.11042","created_at":"2026-07-05T06:43:28Z"},{"alias_kind":"arxiv_version","alias_value":"2308.11042v1","created_at":"2026-07-05T06:43:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.11042","created_at":"2026-07-05T06:43:28Z"},{"alias_kind":"pith_short_12","alias_value":"6OIFL6XR7HJE","created_at":"2026-07-05T06:43:28Z"},{"alias_kind":"pith_short_16","alias_value":"6OIFL6XR7HJE4JVM","created_at":"2026-07-05T06:43:28Z"},{"alias_kind":"pith_short_8","alias_value":"6OIFL6XR","created_at":"2026-07-05T06:43:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:6OIFL6XR7HJE4JVM3RE2PBL3HO","target":"record","payload":{"canonical_record":{"source":{"id":"2308.11042","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-08-21T21:05:22Z","cross_cats_sorted":["cs.AR"],"title_canon_sha256":"c4ec1d7b6b1822f1924bb4c9e94e407349a89d3b8461066a338fa1e504741e6a","abstract_canon_sha256":"3c9cde0b502fb7af71c0063ae9a54d226dca620a82a9d0ac45a23037776d776f"},"schema_version":"1.0"},"canonical_sha256":"f39055faf1f9d24e26acdc49a7857b3b85cf35ab7f4129eed8c02513d8ac24be","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:43:28.835465Z","signature_b64":"i/Z8BUbhcLUAiPKHMLoZwYdIw7L73kLvyqczVA5k6I3LhVZE/PwvG7zhRt5jLIeFbl02P7TriPgLTtjY0wkMCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f39055faf1f9d24e26acdc49a7857b3b85cf35ab7f4129eed8c02513d8ac24be","last_reissued_at":"2026-07-05T06:43:28.835080Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:43:28.835080Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2308.11042","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-05T06:43:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xmvsMHGaOlTCN7s2L+Xg+nAQ4eZ/VysUzZKK3Cswg2syoF0OMShH/Qj3EjgczclFmH/pAACz7GQpLk7w2sDVDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T06:54:01.247296Z"},"content_sha256":"e5eb31031b98468419b463e8d7be8dddbf91b3de3c0a53102b205fcd25dd938a","schema_version":"1.0","event_id":"sha256:e5eb31031b98468419b463e8d7be8dddbf91b3de3c0a53102b205fcd25dd938a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:6OIFL6XR7HJE4JVM3RE2PBL3HO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Unlocking Hardware Security Assurance: The Potential of LLMs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AR"],"primary_cat":"cs.CR","authors_text":"Amisha Srivastava, Avik Ray, Ayush Arunachalam, Kanad Basu, Pedro Henrique Silva, Rafail Psiakis, Xingyu Meng, Yiorgos Makris","submitted_at":"2023-08-21T21:05:22Z","abstract_excerpt":"System-on-Chips (SoCs) form the crux of modern computing systems. SoCs enable high-level integration through the utilization of multiple Intellectual Property (IP) cores. However, the integration of multiple IP cores also presents unique challenges owing to their inherent vulnerabilities, thereby compromising the security of the entire system. Hence, it is imperative to perform hardware security validation to address these concerns. The efficiency of this validation procedure is contingent on the quality of the SoC security properties provided. However, generating security properties with trad"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.11042","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/2308.11042/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-05T06:43:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yN7yOZheVrt3Suhxcp+xbEpcsTutOQ9qn1dG1BlY43RJpGlvZriAUZylIf8FemxxPzkDDOL1e8hHfaT1BnKEDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T06:54:01.247692Z"},"content_sha256":"b39e7e0cfa321de55856c06b0906ab890228b8140a29b0b61610849995919bac","schema_version":"1.0","event_id":"sha256:b39e7e0cfa321de55856c06b0906ab890228b8140a29b0b61610849995919bac"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6OIFL6XR7HJE4JVM3RE2PBL3HO/bundle.json","state_url":"https://pith.science/pith/6OIFL6XR7HJE4JVM3RE2PBL3HO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6OIFL6XR7HJE4JVM3RE2PBL3HO/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-07-07T06:54:01Z","links":{"resolver":"https://pith.science/pith/6OIFL6XR7HJE4JVM3RE2PBL3HO","bundle":"https://pith.science/pith/6OIFL6XR7HJE4JVM3RE2PBL3HO/bundle.json","state":"https://pith.science/pith/6OIFL6XR7HJE4JVM3RE2PBL3HO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6OIFL6XR7HJE4JVM3RE2PBL3HO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:6OIFL6XR7HJE4JVM3RE2PBL3HO","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":"3c9cde0b502fb7af71c0063ae9a54d226dca620a82a9d0ac45a23037776d776f","cross_cats_sorted":["cs.AR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-08-21T21:05:22Z","title_canon_sha256":"c4ec1d7b6b1822f1924bb4c9e94e407349a89d3b8461066a338fa1e504741e6a"},"schema_version":"1.0","source":{"id":"2308.11042","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.11042","created_at":"2026-07-05T06:43:28Z"},{"alias_kind":"arxiv_version","alias_value":"2308.11042v1","created_at":"2026-07-05T06:43:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.11042","created_at":"2026-07-05T06:43:28Z"},{"alias_kind":"pith_short_12","alias_value":"6OIFL6XR7HJE","created_at":"2026-07-05T06:43:28Z"},{"alias_kind":"pith_short_16","alias_value":"6OIFL6XR7HJE4JVM","created_at":"2026-07-05T06:43:28Z"},{"alias_kind":"pith_short_8","alias_value":"6OIFL6XR","created_at":"2026-07-05T06:43:28Z"}],"graph_snapshots":[{"event_id":"sha256:b39e7e0cfa321de55856c06b0906ab890228b8140a29b0b61610849995919bac","target":"graph","created_at":"2026-07-05T06:43:28Z","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/2308.11042/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"System-on-Chips (SoCs) form the crux of modern computing systems. SoCs enable high-level integration through the utilization of multiple Intellectual Property (IP) cores. However, the integration of multiple IP cores also presents unique challenges owing to their inherent vulnerabilities, thereby compromising the security of the entire system. Hence, it is imperative to perform hardware security validation to address these concerns. The efficiency of this validation procedure is contingent on the quality of the SoC security properties provided. However, generating security properties with trad","authors_text":"Amisha Srivastava, Avik Ray, Ayush Arunachalam, Kanad Basu, Pedro Henrique Silva, Rafail Psiakis, Xingyu Meng, Yiorgos Makris","cross_cats":["cs.AR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-08-21T21:05:22Z","title":"Unlocking Hardware Security Assurance: The Potential of LLMs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.11042","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:e5eb31031b98468419b463e8d7be8dddbf91b3de3c0a53102b205fcd25dd938a","target":"record","created_at":"2026-07-05T06:43:28Z","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":"3c9cde0b502fb7af71c0063ae9a54d226dca620a82a9d0ac45a23037776d776f","cross_cats_sorted":["cs.AR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-08-21T21:05:22Z","title_canon_sha256":"c4ec1d7b6b1822f1924bb4c9e94e407349a89d3b8461066a338fa1e504741e6a"},"schema_version":"1.0","source":{"id":"2308.11042","kind":"arxiv","version":1}},"canonical_sha256":"f39055faf1f9d24e26acdc49a7857b3b85cf35ab7f4129eed8c02513d8ac24be","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f39055faf1f9d24e26acdc49a7857b3b85cf35ab7f4129eed8c02513d8ac24be","first_computed_at":"2026-07-05T06:43:28.835080Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:43:28.835080Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"i/Z8BUbhcLUAiPKHMLoZwYdIw7L73kLvyqczVA5k6I3LhVZE/PwvG7zhRt5jLIeFbl02P7TriPgLTtjY0wkMCg==","signature_status":"signed_v1","signed_at":"2026-07-05T06:43:28.835465Z","signed_message":"canonical_sha256_bytes"},"source_id":"2308.11042","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e5eb31031b98468419b463e8d7be8dddbf91b3de3c0a53102b205fcd25dd938a","sha256:b39e7e0cfa321de55856c06b0906ab890228b8140a29b0b61610849995919bac"],"state_sha256":"59a8c6d5cca2f7cdbfc94f59a81a04f19e6ee914cb705310893e53c4447f3de1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OFUcwqBHtLZwwtWgMZUGhlXrRg2M9bsmErxkZxdXRY23Sia/enWKRQwdUaPXuMQW/Zev4Zd6Q1kSx8Dn0vFnAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T06:54:01.262821Z","bundle_sha256":"2457b1720455d1ea5551d977c47f5cdf2cb3299f0c9546a6200cb9295ff4a72d"}}