{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:6OIFL6XR7HJE4JVM3RE2PBL3HO","short_pith_number":"pith:6OIFL6XR","schema_version":"1.0","canonical_sha256":"f39055faf1f9d24e26acdc49a7857b3b85cf35ab7f4129eed8c02513d8ac24be","source":{"kind":"arxiv","id":"2308.11042","version":1},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2308.11042","created_at":"2026-07-05T06:43:28.835142+00:00"},{"alias_kind":"arxiv_version","alias_value":"2308.11042v1","created_at":"2026-07-05T06:43:28.835142+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.11042","created_at":"2026-07-05T06:43:28.835142+00:00"},{"alias_kind":"pith_short_12","alias_value":"6OIFL6XR7HJE","created_at":"2026-07-05T06:43:28.835142+00:00"},{"alias_kind":"pith_short_16","alias_value":"6OIFL6XR7HJE4JVM","created_at":"2026-07-05T06:43:28.835142+00:00"},{"alias_kind":"pith_short_8","alias_value":"6OIFL6XR","created_at":"2026-07-05T06:43:28.835142+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/6OIFL6XR7HJE4JVM3RE2PBL3HO","json":"https://pith.science/pith/6OIFL6XR7HJE4JVM3RE2PBL3HO.json","graph_json":"https://pith.science/api/pith-number/6OIFL6XR7HJE4JVM3RE2PBL3HO/graph.json","events_json":"https://pith.science/api/pith-number/6OIFL6XR7HJE4JVM3RE2PBL3HO/events.json","paper":"https://pith.science/paper/6OIFL6XR"},"agent_actions":{"view_html":"https://pith.science/pith/6OIFL6XR7HJE4JVM3RE2PBL3HO","download_json":"https://pith.science/pith/6OIFL6XR7HJE4JVM3RE2PBL3HO.json","view_paper":"https://pith.science/paper/6OIFL6XR","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2308.11042&json=true","fetch_graph":"https://pith.science/api/pith-number/6OIFL6XR7HJE4JVM3RE2PBL3HO/graph.json","fetch_events":"https://pith.science/api/pith-number/6OIFL6XR7HJE4JVM3RE2PBL3HO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6OIFL6XR7HJE4JVM3RE2PBL3HO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6OIFL6XR7HJE4JVM3RE2PBL3HO/action/storage_attestation","attest_author":"https://pith.science/pith/6OIFL6XR7HJE4JVM3RE2PBL3HO/action/author_attestation","sign_citation":"https://pith.science/pith/6OIFL6XR7HJE4JVM3RE2PBL3HO/action/citation_signature","submit_replication":"https://pith.science/pith/6OIFL6XR7HJE4JVM3RE2PBL3HO/action/replication_record"}},"created_at":"2026-07-05T06:43:28.835142+00:00","updated_at":"2026-07-05T06:43:28.835142+00:00"}