{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:GSL4CE7OHRG5J3ADFXRD2OSXPE","short_pith_number":"pith:GSL4CE7O","canonical_record":{"source":{"id":"2506.20415","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-06-25T13:31:13Z","cross_cats_sorted":["cs.AI","cs.MA"],"title_canon_sha256":"b6964d1d56891060aee4cbb0a8f35d8f49a3c9f1a8ba533e1755f43b67995bcd","abstract_canon_sha256":"b31045cd623abc339a2344a8c018a9f32b9b779f803efd53f69a2376647abb50"},"schema_version":"1.0"},"canonical_sha256":"3497c113ee3c4dd4ec032de23d3a57791ab919ac3491a3acafa0086388e43bb0","source":{"kind":"arxiv","id":"2506.20415","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.20415","created_at":"2026-07-05T11:27:05Z"},{"alias_kind":"arxiv_version","alias_value":"2506.20415v1","created_at":"2026-07-05T11:27:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.20415","created_at":"2026-07-05T11:27:05Z"},{"alias_kind":"pith_short_12","alias_value":"GSL4CE7OHRG5","created_at":"2026-07-05T11:27:05Z"},{"alias_kind":"pith_short_16","alias_value":"GSL4CE7OHRG5J3AD","created_at":"2026-07-05T11:27:05Z"},{"alias_kind":"pith_short_8","alias_value":"GSL4CE7O","created_at":"2026-07-05T11:27:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:GSL4CE7OHRG5J3ADFXRD2OSXPE","target":"record","payload":{"canonical_record":{"source":{"id":"2506.20415","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-06-25T13:31:13Z","cross_cats_sorted":["cs.AI","cs.MA"],"title_canon_sha256":"b6964d1d56891060aee4cbb0a8f35d8f49a3c9f1a8ba533e1755f43b67995bcd","abstract_canon_sha256":"b31045cd623abc339a2344a8c018a9f32b9b779f803efd53f69a2376647abb50"},"schema_version":"1.0"},"canonical_sha256":"3497c113ee3c4dd4ec032de23d3a57791ab919ac3491a3acafa0086388e43bb0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:27:05.170723Z","signature_b64":"bsnNL8xshqTvz0jW7Aj6e0po0/7NEXaNwp6u2+IJU2Um06n3RNRNht7EPnSeabNB2hk7wfwgdD3LGpg35AjRCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3497c113ee3c4dd4ec032de23d3a57791ab919ac3491a3acafa0086388e43bb0","last_reissued_at":"2026-07-05T11:27:05.170219Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:27:05.170219Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.20415","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:27:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2RUPTGdufY4nG3tjW919i0DelWWuTGJ1G3sDQPOOVplYOJd+Dn2FxdxKPs7Ia/iUGlEsHCnpjTxQLU0EGpLJDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T18:01:43.285174Z"},"content_sha256":"aad6e7272687e503acf159a8799e8099bd1ca9db504d126cf5ed9483ee3d1941","schema_version":"1.0","event_id":"sha256:aad6e7272687e503acf159a8799e8099bd1ca9db504d126cf5ed9483ee3d1941"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:GSL4CE7OHRG5J3ADFXRD2OSXPE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.MA"],"primary_cat":"cs.CR","authors_text":"Dipayan Saha, Farimah Farahmandi, Hasan Al Shaikh, Jingbo Zhou, Khan Thamid Hasan, Mark Tehranipoor, Md. Ajoad Hasan, Nashmin Alam, Pavan Sai Nalluri, Shams Tarek, Sujan Kumar Saha","submitted_at":"2025-06-25T13:31:13Z","abstract_excerpt":"Ensuring the security of complex system-on-chips (SoCs) designs is a critical imperative, yet traditional verification techniques struggle to keep pace due to significant challenges in automation, scalability, comprehensiveness, and adaptability. The advent of large language models (LLMs), with their remarkable capabilities in natural language understanding, code generation, and advanced reasoning, presents a new paradigm for tackling these issues. Moving beyond monolithic models, an agentic approach allows for the creation of multi-agent systems where specialized LLMs collaborate to solve com"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.20415","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.20415/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:27:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ebh7nbGs9N/rmcWPimOBeosXYakv8Auv1Zyasu4MNPtHuecpRjNwLwFWHXGnXyD+RSkJ9AUCerT2yrggS7kHBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T18:01:43.286326Z"},"content_sha256":"6757350606f2fb6f73b9d425a1c40049176281b2aae7f03a38e2b717c1aab315","schema_version":"1.0","event_id":"sha256:6757350606f2fb6f73b9d425a1c40049176281b2aae7f03a38e2b717c1aab315"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GSL4CE7OHRG5J3ADFXRD2OSXPE/bundle.json","state_url":"https://pith.science/pith/GSL4CE7OHRG5J3ADFXRD2OSXPE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GSL4CE7OHRG5J3ADFXRD2OSXPE/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-07T18:01:43Z","links":{"resolver":"https://pith.science/pith/GSL4CE7OHRG5J3ADFXRD2OSXPE","bundle":"https://pith.science/pith/GSL4CE7OHRG5J3ADFXRD2OSXPE/bundle.json","state":"https://pith.science/pith/GSL4CE7OHRG5J3ADFXRD2OSXPE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GSL4CE7OHRG5J3ADFXRD2OSXPE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:GSL4CE7OHRG5J3ADFXRD2OSXPE","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":"b31045cd623abc339a2344a8c018a9f32b9b779f803efd53f69a2376647abb50","cross_cats_sorted":["cs.AI","cs.MA"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-06-25T13:31:13Z","title_canon_sha256":"b6964d1d56891060aee4cbb0a8f35d8f49a3c9f1a8ba533e1755f43b67995bcd"},"schema_version":"1.0","source":{"id":"2506.20415","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.20415","created_at":"2026-07-05T11:27:05Z"},{"alias_kind":"arxiv_version","alias_value":"2506.20415v1","created_at":"2026-07-05T11:27:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.20415","created_at":"2026-07-05T11:27:05Z"},{"alias_kind":"pith_short_12","alias_value":"GSL4CE7OHRG5","created_at":"2026-07-05T11:27:05Z"},{"alias_kind":"pith_short_16","alias_value":"GSL4CE7OHRG5J3AD","created_at":"2026-07-05T11:27:05Z"},{"alias_kind":"pith_short_8","alias_value":"GSL4CE7O","created_at":"2026-07-05T11:27:05Z"}],"graph_snapshots":[{"event_id":"sha256:6757350606f2fb6f73b9d425a1c40049176281b2aae7f03a38e2b717c1aab315","target":"graph","created_at":"2026-07-05T11:27:05Z","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.20415/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Ensuring the security of complex system-on-chips (SoCs) designs is a critical imperative, yet traditional verification techniques struggle to keep pace due to significant challenges in automation, scalability, comprehensiveness, and adaptability. The advent of large language models (LLMs), with their remarkable capabilities in natural language understanding, code generation, and advanced reasoning, presents a new paradigm for tackling these issues. Moving beyond monolithic models, an agentic approach allows for the creation of multi-agent systems where specialized LLMs collaborate to solve com","authors_text":"Dipayan Saha, Farimah Farahmandi, Hasan Al Shaikh, Jingbo Zhou, Khan Thamid Hasan, Mark Tehranipoor, Md. Ajoad Hasan, Nashmin Alam, Pavan Sai Nalluri, Shams Tarek, Sujan Kumar Saha","cross_cats":["cs.AI","cs.MA"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-06-25T13:31:13Z","title":"SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.20415","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:aad6e7272687e503acf159a8799e8099bd1ca9db504d126cf5ed9483ee3d1941","target":"record","created_at":"2026-07-05T11:27:05Z","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":"b31045cd623abc339a2344a8c018a9f32b9b779f803efd53f69a2376647abb50","cross_cats_sorted":["cs.AI","cs.MA"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-06-25T13:31:13Z","title_canon_sha256":"b6964d1d56891060aee4cbb0a8f35d8f49a3c9f1a8ba533e1755f43b67995bcd"},"schema_version":"1.0","source":{"id":"2506.20415","kind":"arxiv","version":1}},"canonical_sha256":"3497c113ee3c4dd4ec032de23d3a57791ab919ac3491a3acafa0086388e43bb0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3497c113ee3c4dd4ec032de23d3a57791ab919ac3491a3acafa0086388e43bb0","first_computed_at":"2026-07-05T11:27:05.170219Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:27:05.170219Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bsnNL8xshqTvz0jW7Aj6e0po0/7NEXaNwp6u2+IJU2Um06n3RNRNht7EPnSeabNB2hk7wfwgdD3LGpg35AjRCA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:27:05.170723Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.20415","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:aad6e7272687e503acf159a8799e8099bd1ca9db504d126cf5ed9483ee3d1941","sha256:6757350606f2fb6f73b9d425a1c40049176281b2aae7f03a38e2b717c1aab315"],"state_sha256":"90a2aa776297311d5a47653c65833eed9482f99b7e2cf942ce997fa2be738626"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2IHsV4EUh6Gd6E/yzyVfXtk6qTFfRUj1mWOrt+bq1D0S+QydtQ2G/WCGToFaJIX7x/UetAoJQm65H7Y2gJRaAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T18:01:43.292524Z","bundle_sha256":"511549fe7786dd828b16f6753b0139f85e3af425e05d5c98380cde61bf72bf51"}}