{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:EHCJHKOKX6TVWNPXA3B4KWBLRO","short_pith_number":"pith:EHCJHKOK","canonical_record":{"source":{"id":"2504.21770","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-04-30T16:15:53Z","cross_cats_sorted":[],"title_canon_sha256":"1de874067a0f38a6ceef7bb69ab04ce3ad37d3c9c6d58825a080ff564413c8bd","abstract_canon_sha256":"f0ec88b8b1357770f9008a7ba9f4af255d88114a873d2a1d1e308c9ca3b1ca2e"},"schema_version":"1.0"},"canonical_sha256":"21c493a9cabfa75b35f706c3c5582b8b8f5986284dd64442cbedf89fe1836452","source":{"kind":"arxiv","id":"2504.21770","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.21770","created_at":"2026-07-05T10:56:29Z"},{"alias_kind":"arxiv_version","alias_value":"2504.21770v1","created_at":"2026-07-05T10:56:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.21770","created_at":"2026-07-05T10:56:29Z"},{"alias_kind":"pith_short_12","alias_value":"EHCJHKOKX6TV","created_at":"2026-07-05T10:56:29Z"},{"alias_kind":"pith_short_16","alias_value":"EHCJHKOKX6TVWNPX","created_at":"2026-07-05T10:56:29Z"},{"alias_kind":"pith_short_8","alias_value":"EHCJHKOK","created_at":"2026-07-05T10:56:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:EHCJHKOKX6TVWNPXA3B4KWBLRO","target":"record","payload":{"canonical_record":{"source":{"id":"2504.21770","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-04-30T16:15:53Z","cross_cats_sorted":[],"title_canon_sha256":"1de874067a0f38a6ceef7bb69ab04ce3ad37d3c9c6d58825a080ff564413c8bd","abstract_canon_sha256":"f0ec88b8b1357770f9008a7ba9f4af255d88114a873d2a1d1e308c9ca3b1ca2e"},"schema_version":"1.0"},"canonical_sha256":"21c493a9cabfa75b35f706c3c5582b8b8f5986284dd64442cbedf89fe1836452","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:56:29.353531Z","signature_b64":"RbC3fFwlmGm5rjim4I9DKmH1qQvbxIoDuDAALWx9nsaSYOEp3WH2sPa5KPPN1hRzBhrWLbR6VjsNoSu+w1vZCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"21c493a9cabfa75b35f706c3c5582b8b8f5986284dd64442cbedf89fe1836452","last_reissued_at":"2026-07-05T10:56:29.352921Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:56:29.352921Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.21770","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-05T10:56:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ornacdl5BtxgDOlwoEgeyowGsLLHFnZVkjjhavVVxegKvDkdXLb7AthFYAYyk8DGkA4sa9Wp56uBcaEx0ZrdDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T16:10:58.327564Z"},"content_sha256":"ae370faae30ce099b1bae12d75527085cb93c1e4a4b19f122f2f088fa4774354","schema_version":"1.0","event_id":"sha256:ae370faae30ce099b1bae12d75527085cb93c1e4a4b19f122f2f088fa4774354"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:EHCJHKOKX6TVWNPXA3B4KWBLRO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"LASHED: LLMs And Static Hardware Analysis for Early Detection of RTL Bugs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Baleegh Ahmad, Benjamin Tan, Hammond Pearce, Ramesh Karri","submitted_at":"2025-04-30T16:15:53Z","abstract_excerpt":"While static analysis is useful in detecting early-stage hardware security bugs, its efficacy is limited because it requires information to form checks and is often unable to explain the security impact of a detected vulnerability. Large Language Models can be useful in filling these gaps by identifying relevant assets, removing false violations flagged by static analysis tools, and explaining the reported violations. LASHED combines the two approaches (LLMs and Static Analysis) to overcome each other's limitations for hardware security bug detection. We investigate our approach on four open-s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.21770","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/2504.21770/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-05T10:56:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2s6d1Q+zSk8oOJGiQU4msYW39CR4AAYjB43tWTAs6JGctEfKgzordXgzOlUOWl96Q/SiEXtwxOIUmMOVxd1vAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T16:10:58.328850Z"},"content_sha256":"f132f8604865bfa30904b315564f0f1296da1b7c29674c18e1bd5b68523d831e","schema_version":"1.0","event_id":"sha256:f132f8604865bfa30904b315564f0f1296da1b7c29674c18e1bd5b68523d831e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EHCJHKOKX6TVWNPXA3B4KWBLRO/bundle.json","state_url":"https://pith.science/pith/EHCJHKOKX6TVWNPXA3B4KWBLRO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EHCJHKOKX6TVWNPXA3B4KWBLRO/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-09T16:10:58Z","links":{"resolver":"https://pith.science/pith/EHCJHKOKX6TVWNPXA3B4KWBLRO","bundle":"https://pith.science/pith/EHCJHKOKX6TVWNPXA3B4KWBLRO/bundle.json","state":"https://pith.science/pith/EHCJHKOKX6TVWNPXA3B4KWBLRO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EHCJHKOKX6TVWNPXA3B4KWBLRO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:EHCJHKOKX6TVWNPXA3B4KWBLRO","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":"f0ec88b8b1357770f9008a7ba9f4af255d88114a873d2a1d1e308c9ca3b1ca2e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-04-30T16:15:53Z","title_canon_sha256":"1de874067a0f38a6ceef7bb69ab04ce3ad37d3c9c6d58825a080ff564413c8bd"},"schema_version":"1.0","source":{"id":"2504.21770","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.21770","created_at":"2026-07-05T10:56:29Z"},{"alias_kind":"arxiv_version","alias_value":"2504.21770v1","created_at":"2026-07-05T10:56:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.21770","created_at":"2026-07-05T10:56:29Z"},{"alias_kind":"pith_short_12","alias_value":"EHCJHKOKX6TV","created_at":"2026-07-05T10:56:29Z"},{"alias_kind":"pith_short_16","alias_value":"EHCJHKOKX6TVWNPX","created_at":"2026-07-05T10:56:29Z"},{"alias_kind":"pith_short_8","alias_value":"EHCJHKOK","created_at":"2026-07-05T10:56:29Z"}],"graph_snapshots":[{"event_id":"sha256:f132f8604865bfa30904b315564f0f1296da1b7c29674c18e1bd5b68523d831e","target":"graph","created_at":"2026-07-05T10:56:29Z","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/2504.21770/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"While static analysis is useful in detecting early-stage hardware security bugs, its efficacy is limited because it requires information to form checks and is often unable to explain the security impact of a detected vulnerability. Large Language Models can be useful in filling these gaps by identifying relevant assets, removing false violations flagged by static analysis tools, and explaining the reported violations. LASHED combines the two approaches (LLMs and Static Analysis) to overcome each other's limitations for hardware security bug detection. We investigate our approach on four open-s","authors_text":"Baleegh Ahmad, Benjamin Tan, Hammond Pearce, Ramesh Karri","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-04-30T16:15:53Z","title":"LASHED: LLMs And Static Hardware Analysis for Early Detection of RTL Bugs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.21770","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:ae370faae30ce099b1bae12d75527085cb93c1e4a4b19f122f2f088fa4774354","target":"record","created_at":"2026-07-05T10:56:29Z","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":"f0ec88b8b1357770f9008a7ba9f4af255d88114a873d2a1d1e308c9ca3b1ca2e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-04-30T16:15:53Z","title_canon_sha256":"1de874067a0f38a6ceef7bb69ab04ce3ad37d3c9c6d58825a080ff564413c8bd"},"schema_version":"1.0","source":{"id":"2504.21770","kind":"arxiv","version":1}},"canonical_sha256":"21c493a9cabfa75b35f706c3c5582b8b8f5986284dd64442cbedf89fe1836452","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"21c493a9cabfa75b35f706c3c5582b8b8f5986284dd64442cbedf89fe1836452","first_computed_at":"2026-07-05T10:56:29.352921Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:56:29.352921Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RbC3fFwlmGm5rjim4I9DKmH1qQvbxIoDuDAALWx9nsaSYOEp3WH2sPa5KPPN1hRzBhrWLbR6VjsNoSu+w1vZCg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:56:29.353531Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.21770","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ae370faae30ce099b1bae12d75527085cb93c1e4a4b19f122f2f088fa4774354","sha256:f132f8604865bfa30904b315564f0f1296da1b7c29674c18e1bd5b68523d831e"],"state_sha256":"a8d1656ce9da440e30801db669ba90e20d813685c124ff9b06b31d638bec4af3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3YmuNDDZ40fF+2af6F/fjv5bN++vcXwWZZUXDDx9FpwCR9+tjJLWzHDMIv3uP5h2P6HK8BwKIRjgos+JerK8DQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T16:10:58.335028Z","bundle_sha256":"3676059bb8ec09abddba6dd8649bd22a371da05007cdbb2ccb6b39be08423de3"}}