{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:GCWKRTGLQQOUCJ2UAK2JXL7KSV","short_pith_number":"pith:GCWKRTGL","canonical_record":{"source":{"id":"2302.01215","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-02-02T16:51:28Z","cross_cats_sorted":[],"title_canon_sha256":"dcfa00ccda18bc95a61de92a0d16ff8155abcfa2e2c34d7e08575409ed09aa9b","abstract_canon_sha256":"6e5c0f57c527de7b94a5902e3d5697a945f4171c5f1c22db9afb9f229bf2359e"},"schema_version":"1.0"},"canonical_sha256":"30aca8cccb841d41275402b49bafea9574fae0209ee49a3a97706a43a961fd06","source":{"kind":"arxiv","id":"2302.01215","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2302.01215","created_at":"2026-07-05T08:17:09Z"},{"alias_kind":"arxiv_version","alias_value":"2302.01215v1","created_at":"2026-07-05T08:17:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.01215","created_at":"2026-07-05T08:17:09Z"},{"alias_kind":"pith_short_12","alias_value":"GCWKRTGLQQOU","created_at":"2026-07-05T08:17:09Z"},{"alias_kind":"pith_short_16","alias_value":"GCWKRTGLQQOUCJ2U","created_at":"2026-07-05T08:17:09Z"},{"alias_kind":"pith_short_8","alias_value":"GCWKRTGL","created_at":"2026-07-05T08:17:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:GCWKRTGLQQOUCJ2UAK2JXL7KSV","target":"record","payload":{"canonical_record":{"source":{"id":"2302.01215","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-02-02T16:51:28Z","cross_cats_sorted":[],"title_canon_sha256":"dcfa00ccda18bc95a61de92a0d16ff8155abcfa2e2c34d7e08575409ed09aa9b","abstract_canon_sha256":"6e5c0f57c527de7b94a5902e3d5697a945f4171c5f1c22db9afb9f229bf2359e"},"schema_version":"1.0"},"canonical_sha256":"30aca8cccb841d41275402b49bafea9574fae0209ee49a3a97706a43a961fd06","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:17:09.004007Z","signature_b64":"KVHXEcb9yE6KzCIr5kdRdg4v0XUR0Lza+szH+FTU9p5AZwSr3iuZw/zraDDFHplkhIVJhdlHj5I4hrqvU2QOBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"30aca8cccb841d41275402b49bafea9574fae0209ee49a3a97706a43a961fd06","last_reissued_at":"2026-07-05T08:17:09.003604Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:17:09.003604Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2302.01215","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-05T08:17:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AEo7QQGsdZt7pk45zItjQwGIyVDCjLxWWYYW0lkPtCeFYCt0CK6yE2FWgWHTW9BWoC90T+1a+II6NfSduJjzAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T07:49:46.848485Z"},"content_sha256":"ae7f3ebd84fed31d428b569720f7f37393c015c80790f753c27f06228451c7c6","schema_version":"1.0","event_id":"sha256:ae7f3ebd84fed31d428b569720f7f37393c015c80790f753c27f06228451c7c6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:GCWKRTGLQQOUCJ2UAK2JXL7KSV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Fixing Hardware Security Bugs with Large Language Models","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, Shailja Thakur","submitted_at":"2023-02-02T16:51:28Z","abstract_excerpt":"Novel AI-based code-writing Large Language Models (LLMs) such as OpenAI's Codex have demonstrated capabilities in many coding-adjacent domains. In this work we consider how LLMs maybe leveraged to automatically repair security relevant bugs present in hardware designs. We focus on bug repair in code written in the Hardware Description Language Verilog. For this study we build a corpus of domain-representative hardware security bugs. We then design and implement a framework to quantitatively evaluate the performance of any LLM tasked with fixing the specified bugs. The framework supports design"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2302.01215","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/2302.01215/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-05T08:17:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/pBhP3S+H85jqEFx/sZWczKm+HAft9LHvXItzqRW07qgethM48t83ffpZhq6IMgIciaGgcIRskGCTGruvMMNCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T07:49:46.849443Z"},"content_sha256":"a40b1c6c58ab76240bffacd17f8c4bec46fdd6836836410773e1a257b5e73dd9","schema_version":"1.0","event_id":"sha256:a40b1c6c58ab76240bffacd17f8c4bec46fdd6836836410773e1a257b5e73dd9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GCWKRTGLQQOUCJ2UAK2JXL7KSV/bundle.json","state_url":"https://pith.science/pith/GCWKRTGLQQOUCJ2UAK2JXL7KSV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GCWKRTGLQQOUCJ2UAK2JXL7KSV/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-06T07:49:46Z","links":{"resolver":"https://pith.science/pith/GCWKRTGLQQOUCJ2UAK2JXL7KSV","bundle":"https://pith.science/pith/GCWKRTGLQQOUCJ2UAK2JXL7KSV/bundle.json","state":"https://pith.science/pith/GCWKRTGLQQOUCJ2UAK2JXL7KSV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GCWKRTGLQQOUCJ2UAK2JXL7KSV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:GCWKRTGLQQOUCJ2UAK2JXL7KSV","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":"6e5c0f57c527de7b94a5902e3d5697a945f4171c5f1c22db9afb9f229bf2359e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-02-02T16:51:28Z","title_canon_sha256":"dcfa00ccda18bc95a61de92a0d16ff8155abcfa2e2c34d7e08575409ed09aa9b"},"schema_version":"1.0","source":{"id":"2302.01215","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2302.01215","created_at":"2026-07-05T08:17:09Z"},{"alias_kind":"arxiv_version","alias_value":"2302.01215v1","created_at":"2026-07-05T08:17:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.01215","created_at":"2026-07-05T08:17:09Z"},{"alias_kind":"pith_short_12","alias_value":"GCWKRTGLQQOU","created_at":"2026-07-05T08:17:09Z"},{"alias_kind":"pith_short_16","alias_value":"GCWKRTGLQQOUCJ2U","created_at":"2026-07-05T08:17:09Z"},{"alias_kind":"pith_short_8","alias_value":"GCWKRTGL","created_at":"2026-07-05T08:17:09Z"}],"graph_snapshots":[{"event_id":"sha256:a40b1c6c58ab76240bffacd17f8c4bec46fdd6836836410773e1a257b5e73dd9","target":"graph","created_at":"2026-07-05T08:17:09Z","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/2302.01215/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Novel AI-based code-writing Large Language Models (LLMs) such as OpenAI's Codex have demonstrated capabilities in many coding-adjacent domains. In this work we consider how LLMs maybe leveraged to automatically repair security relevant bugs present in hardware designs. We focus on bug repair in code written in the Hardware Description Language Verilog. For this study we build a corpus of domain-representative hardware security bugs. We then design and implement a framework to quantitatively evaluate the performance of any LLM tasked with fixing the specified bugs. The framework supports design","authors_text":"Baleegh Ahmad, Benjamin Tan, Hammond Pearce, Ramesh Karri, Shailja Thakur","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-02-02T16:51:28Z","title":"Fixing Hardware Security Bugs with Large Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2302.01215","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:ae7f3ebd84fed31d428b569720f7f37393c015c80790f753c27f06228451c7c6","target":"record","created_at":"2026-07-05T08:17:09Z","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":"6e5c0f57c527de7b94a5902e3d5697a945f4171c5f1c22db9afb9f229bf2359e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-02-02T16:51:28Z","title_canon_sha256":"dcfa00ccda18bc95a61de92a0d16ff8155abcfa2e2c34d7e08575409ed09aa9b"},"schema_version":"1.0","source":{"id":"2302.01215","kind":"arxiv","version":1}},"canonical_sha256":"30aca8cccb841d41275402b49bafea9574fae0209ee49a3a97706a43a961fd06","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"30aca8cccb841d41275402b49bafea9574fae0209ee49a3a97706a43a961fd06","first_computed_at":"2026-07-05T08:17:09.003604Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:17:09.003604Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KVHXEcb9yE6KzCIr5kdRdg4v0XUR0Lza+szH+FTU9p5AZwSr3iuZw/zraDDFHplkhIVJhdlHj5I4hrqvU2QOBg==","signature_status":"signed_v1","signed_at":"2026-07-05T08:17:09.004007Z","signed_message":"canonical_sha256_bytes"},"source_id":"2302.01215","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ae7f3ebd84fed31d428b569720f7f37393c015c80790f753c27f06228451c7c6","sha256:a40b1c6c58ab76240bffacd17f8c4bec46fdd6836836410773e1a257b5e73dd9"],"state_sha256":"3cc5474340001dbd65810f71c00761d1b45328aed07fc6543421a86ab9c7b1cb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eVoi5W5irHKKXuzbGE9RMMiGp/RfsCnIfsjRcTDFFjqQx/6bZn7VDc57zvBZ8Xct01fIompKGLihUhxMq8hBCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T07:49:46.854813Z","bundle_sha256":"64ecddd046cafe6029f2d4471f4345083c379279efcc750c12eaba7bd89be897"}}